Countable infinite existentially closed models of universally axiomatizable theories

DOI10.3103/S1055134416020036zbMath1374.03025OpenAlexW2402501407MaRDI QIDQ2959166

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

isomorphic embeddingelementary 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)

Related Items (3)

Positive Jonsson theories ⋮ Forcing formulas in Fraïssé structures and classes ⋮ Properties of existentially closed companions

Cites Work

• Model theory.
• On algebraically closed groups
• On the metamathematics of algebra
• Model Companions for ℵ 0 -Categorical Theories
• Existentially closed structures
• Omitting quantifier-free types in generic structures
• Completing theories by forcing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Countable infinite existentially closed models of universally axiomatizable theories