Computable Structure Theory
-10%
portes grátis
Computable Structure Theory
Beyond the Arithmetic
Montalban, Antonio
Cambridge University Press
02/2026
246
Dura
Inglês
9781108490252
15 a 20 dias
Descrição não disponível.
Notation and conventions from computability theory; Notation and conventions from Part I: 1. Ordinals; 2. Infinitary logic; 3. Computably infinitary languages; 4. Pi-one-one sets; 5. Hyperarithmetic sets; 6. Overspill; 7. Forcing; 8. The game metatheorem; 9. Iterated true-stage arguments; 10. Iterating the jump of a structure; 11. The isomorphism problem; 12. Vaught's conjecture; Bibliography; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Notation and conventions from computability theory; Notation and conventions from Part I: 1. Ordinals; 2. Infinitary logic; 3. Computably infinitary languages; 4. Pi-one-one sets; 5. Hyperarithmetic sets; 6. Overspill; 7. Forcing; 8. The game metatheorem; 9. Iterated true-stage arguments; 10. Iterating the jump of a structure; 11. The isomorphism problem; 12. Vaught's conjecture; Bibliography; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
