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

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore.

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

Saved in:
Bibliographic Details
Main Authors: Hirschfeldt, Denis Roman (Author), Lange, Karen, 1980- (Author), Shore, Richard A., 1946- (Author)
Format: eBook
Language:English
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)
MATHEMATICS > General.
Computable functions
Reverse mathematics
Online Access:Click for online access
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