Projective model completeness

DOI10.2307/2272351zbMath0286.02056OpenAlexW1989490550MaRDI QIDQ4774039

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) Torsion-free groups, infinite rank (20K20) Total orders (06A05) Torsion-free groups, finite rank (20K15) Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68)

Related Items (3)

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

Cites Work

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

This page was built for publication: Projective model completeness