Existentially closed structures

DOI10.2307/2272974MaRDI QIDQ4401929zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• Completing theories by forcing
• Introduction to model theory and to the metamathematics of algebra
• Omitting types of prenex formulas

Cited in

(14)

• Robinson forcing is not absolute
• Finite axiomatizations for existentially closed posets and semilattices
• scientific article; zbMATH DE number 3501750 (Why is no real title available?)
• Model-companions and definability in existentially complete structures
• The Chang-Łoś-Suszko theorem in a topological setting
• The forcing companions of number theories
• Die Amalgamierungseigenschaft und Reine Ringe
• Amalgamation properties and interpolation theorems for equational theories
• Omitting quantifier-free types in generic structures
• Countable infinite existentially closed models of universally axiomatizable theories
• Generic automorphisms of fields
• scientific article; zbMATH DE number 3455250 (Why is no real title available?)
• Cofinal simplicity and algebraic closedness
• A question of Simmons

This page was built for publication: Existentially closed structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4401929)