Countable infinite existentially closed models of universally axiomatizable theories

DOI10.3103/S1055134416020036MaRDI QIDQ2959166zbMATH OpenOpenAlexFDO

Authors A. T. Nurtazin

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

zbMATH Keywords

elementary embeddingisomorphic embeddingexistentially closed structurecountable infinite structureelementarily closed structureuniversal and existential formulas

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15)

Recommendations

• Properties of existentially closed companions
• Existentially closed and maximal models in positive logic
• scientific article; zbMATH DE number 1159716
• Finite extensions and the number of countable models
• Countable models and unions of theories

Cites work

• scientific article; zbMATH DE number 3115890 (Why is no real title available?)
• scientific article; zbMATH DE number 4039866 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3995639 (Why is no real title available?)
• scientific article; zbMATH DE number 3243872 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3183991 (Why is no real title available?)
• scientific article; zbMATH DE number 3190329 (Why is no real title available?)
• Completing theories by forcing
• Existentially closed structures
• Model Companions for ℵ 0 -Categorical Theories
• Model theory.
• Omitting quantifier-free types in generic structures
• On algebraically closed groups
• On the metamathematics of algebra

Cited in

(7)

• Vopěnka's principle and compact logics
• 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
• Existentially closed and maximal models in positive logic
• Forcing formulas in Fraïssé structures and classes

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)