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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Hirschfeldt, Denis Roman (Author), Lange, Karen, 1980- (Author), Shore, Richard A., 1946- (Author)
Format: Electronic eBook
Language:Inglés
Published: Providence, Rhode Island : American Mathematical Society, 2017.
Series:Memoirs of the American Mathematical Society ; no. 1187.
Subjects:
Reverse mathematics.
Computable functions.
Decidability (Mathematical logic)
Mathématiques à rebours.
Fonctions calculables.
Décidabilité (Logique mathématique)
MATHEMATICS > General.
Computable functions
Reverse mathematics
Online Access:Texto completo
Table of Contents:
  • 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.

Similar Items