Existentially closed structures

DOI10.2307/2272974zbMath0277.02011OpenAlexW1987570123MaRDI QIDQ4401929

Harold Simmons

Publication date: 1972

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

Full work available at URL: https://doi.org/10.2307/2272974

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Related Items

Finite axiomatizations for existentially closed posets and semilattices, Generic automorphisms of fields, Countable infinite existentially closed models of universally axiomatizable theories, The forcing companions of number theories, Omitting quantifier-free types in generic structures, Amalgamation properties and interpolation theorems for equational theories, A question of Simmons, Robinson forcing is not absolute, Model-companions and definability in existentially complete structures, Die Amalgamierungseigenschaft und Reine Ringe, Cofinal simplicity and algebraic closedness, Unnamed Item, The Chang-Łoś-Suszko theorem in a topological setting, Unnamed Item

Cites Work

• Introduction to model theory and to the metamathematics of algebra
• Omitting types of prenex formulas
• Completing theories by forcing
• Unnamed Item
• Unnamed Item