Countable infinite existentially closed models of universally axiomatizable theories
DOI10.3103/S1055134416020036zbMATH Open1374.03025OpenAlexW2402501407MaRDI QIDQ2959166FDOQ2959166
Publication date: 9 February 2017
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3103/s1055134416020036
Recommendations
elementary embeddingisomorphic embeddingexistentially closed structurecountable infinite structureelementarily closed structureuniversal and existential formulas
Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15)
Cites Work
- Title not available (Why is that?)
- Model theory.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model Companions for ℵ 0 -Categorical Theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completing theories by forcing
- On algebraically closed groups
- Title not available (Why is that?)
- On the metamathematics of algebra
- Title not available (Why is that?)
- Omitting quantifier-free types in generic structures
- Existentially closed structures
- Title not available (Why is that?)
Cited In (6)
- Properties of existentially closed companions
- Existentially Closed Models and Conservation Results in Bounded Arithmetic
- An uncountably categorical theory whose only computably presentable model is saturated
- Positive Jonsson theories
- Forcing formulas in Fraïssé structures and classes
- Vopěnka's principle and compact logics
This page was built for publication: Countable infinite existentially closed models of universally axiomatizable theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2959166)
