Projective model completeness

DOI10.2307/2272351zbMATH Open0286.02056OpenAlexW1989490550MaRDI QIDQ4774039FDOQ4774039

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

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

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)