Projective model completeness

DOI10.2307/2272351MaRDI QIDQ4774039zbMATH OpenOpenAlexFDO

Authors George S. Sacerdote

Publication date 1974

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

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Categoricity and completeness of theories (03C35) Total orders (06A05) Torsion-free groups, infinite rank (20K20) Torsion-free groups, finite rank (20K15) Other classical first-order model theory (03C68)

Cites work

• An interpolation theorem in the predicate calculus
• Properties preserved under homomorphism

Cited in

(3)

• Infinite coforcing in model theory
• Applied model theory and metamathematics. An Abraham Robinson memorial problem list
• Elementary epimorphisms between models of set theory

This page was built for publication: Projective model completeness

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