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 (14)

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

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

This page was built for publication: Existentially closed structures