01499nam0 22003253i 450 VAN023471020211118014158.278978-04-445-0072-420211118d2000 |0itac50 baengNL|||| |||||Computable structures and the hyperarithmetical hierarchyC. J. Ash, J. KnightAmsterdamElsevier2000XV, 346 p.23 cm001VAN00237052001 Studies in logic and the foundations of mathematics210 AmsterdamElsevier.144VAN0234709Computable structures and the hyperarithmetical hierarchy142734103DxxComputability and recursion theory [MSC 2020]VANC024386MF03CxxModel theory [MSC 2020]VANC024387MF03D45Theory of numerations, effectively presented structures [MSC 2020]VANC024483MFAmsterdamVANL001716AshChris J.VANV040785726381KnightJulia F.VANV040786726380Elsevier <editore>VANV108024650ITSOL20230616RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0234710BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0169 08 6152 I 20211118 Computable structures and the hyperarithmetical hierarchy1427341UNICAMPANIA