Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory T is the type spectrum of some homogeneous model of T. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theor...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Hirschfeldt, Denis Roman (Autor), Lange, Karen, 1980- (Autor), Shore, Richard A., 1946- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence, Rhode Island : American Mathematical Society, 2017.
Colección:Memoirs of the American Mathematical Society ; no. 1187.
Temas:
Reverse mathematics.
Computable functions.
Decidability (Mathematical logic)
Mathématiques à rebours.
Fonctions calculables.
Décidabilité (Logique mathématique)
MATHEMATICS > General.
Computable functions
Reverse mathematics
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Introduction
  • Definitions
  • The Atomic Model Theorem and Related Principles
  • Defining Homogeneity
  • Closure Conditions and Model Existence
  • Extension Functions and Model Existence
  • The Reverse Mathematics of Model Existence Theorems
  • Open Questions
  • Appendix A: Approximating Generics
  • Appendix B: Atomic Trees
  • Appendix C: Saturated Models
  • Bibliography.

Ejemplares similares