Infinite coforcing in model theory

DOI10.1016/0001-8708(75)90094-8zbMath0314.02062OpenAlexW2042723546MaRDI QIDQ1220510

George S. Sacerdote

Publication date: 1975

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(75)90094-8

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Consistency and independence results (03E35) Other classical first-order model theory (03C68)

Related Items (3)

Elementary epimorphisms between models of set theory ⋮ Elementary epimorphisms ⋮ Forcing infinito generalizzato in teoria dei modelli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An interpolation theorem in the predicate calculus
• Properties preserved under homomorphism
• Undecidable theories
• Equations in Free Groups
• Groups With Parametric Exponents
• Projective model completeness
• Some applications of the notions of forcing and generic sets
• On the Substitution Problem for Free Groups
• Completing theories by forcing
• The Existence of Free Groups
• Elementary Properties of Free Groups

This page was built for publication: Infinite coforcing in model theory