Existentially closed structures

DOI10.2307/2272974zbMATH Open0277.02011OpenAlexW1987570123MaRDI QIDQ4401929FDOQ4401929

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

• Title not available (Why is that?)
• Introduction to model theory and to the metamathematics of algebra
• Title not available (Why is that?)
• Completing theories by forcing
• Omitting types of prenex formulas

Cited In (14)

• Robinson forcing is not absolute
• Title not available (Why is that?)
• Finite axiomatizations for existentially closed posets and semilattices
• 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
• Omitting quantifier-free types in generic structures
• Amalgamation properties and interpolation theorems for equational theories
• Countable infinite existentially closed models of universally axiomatizable theories
• Generic automorphisms of fields
• Title not available (Why is that?)
• 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)