SATURATED MODELS FOR THE WORKING MODEL THEORIST

DOI10.1017/bsl.2023.6arXiv2112.02774OpenAlexW4321014646MaRDI QIDQ6170502

Yatir Halevi, Itay Kaplan

Publication date: 10 August 2023

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.02774

zbMATH Keywords

completenessquantifier eliminationinner modelsaturated modelsconstructible universe

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Models with special properties (saturated, rigid, etc.) (03C50) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS

Cites Work

• Classification theory and the number of non-isomorphic models.
• NIP Henselian valued fields
• The generalized continuum hypothesis can fail everywhere
• Model theory of difference fields
• Set Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: SATURATED MODELS FOR THE WORKING MODEL THEORIST