Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2025-01-02T15:05:56.777Z Has data issue: false hasContentIssue false
  • English
  • Français

SATURATED MODELS FOR THE WORKING MODEL THEORIST

Part of: Set theory Model theory

Published online by Cambridge University Press:  17 February 2023

YATIR HALEVI Open the ORCID record for YATIR HALEVI [Opens in a new window]  and
ITAY KAPLAN Open the ORCID record for ITAY KAPLAN [Opens in a new window]
YATIR HALEVI
Affiliation:
THE FIELDS INSTITUTE FOR RESEARCH IN MATHEMATICAL SCIENCES TORONTO, ON, CANADA E-mail: [email protected]
ITAY KAPLAN
Affiliation:
EINSTEIN INSTITUTE OF MATHEMATICS HEBREW UNIVERSITY OF JERUSALEM 91904 JERUSALEM, ISRAEL E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

Keywords

saturated modelsinner modelconstructible universecompletenessquantifier elimination

MSC classification

Primary: 03C50: Models with special properties (saturated, rigid, etc.) 03E45: Inner models, including constructibility, ordinal definability, and core models
Secondary: 03C10: Quantifier elimination, model completeness and related topics
Type
Articles
Information
Bulletin of Symbolic Logic , Volume 29 , Issue 2 , June 2023 , pp. 163 - 169
Check for updates
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Chatzidakis, Z. and Hrushovski, E., Model theory of difference fields . Transactions of the American Mathematical Society , vol. 351 (1999), no. 8, pp. 2997–3071.CrossRefGoogle Scholar
Devlin, K. J., Constructibility, Perspectives in Mathematical Logic, Springer, Berlin, 1984.CrossRefGoogle Scholar
Foreman, M. and Woodin, W. H., The generalized continuum hypothesis can fail everywhere . Annals of Mathematics , vol. 133 1991, no. 1, pp. 1–35.CrossRefGoogle Scholar
Hodges, W., Model Theory , Encyclopedia of Mathematics and its Applications, 42, Cambridge University Press, Cambridge, 1993.CrossRefGoogle Scholar
Jahnke, F. and Simon, P., NIP henselian valued fields . Archive for Mathematical Logic , vol. 59 (2020), nos. 1–2, pp. 167–178.CrossRefGoogle Scholar
Jech, T., Set Theory , Springer Monographs in Mathematics, Springer, Berlin, 2003.Google Scholar
Shelah, S., Classification Theory and the Number of Nonisomorphic Models , second ed., Studies in Logic and the Foundations of Mathematics, 92, North-Holland, Amsterdam, 1990.Google Scholar
Tent, K. and Ziegler, M., A Course in Model Theory , Lecture Notes in Logic, 40, Association for Symbolic Logic, La Jolla; Cambridge University Press, Cambridge, 2012.CrossRefGoogle Scholar