Generic expansions of structures

DOI10.2307/2271981zbMath0285.02044OpenAlexW1995164411MaRDI QIDQ4770954

Julia F. Knight

Publication date: 1974

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

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

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Related Items (1)

Partially definable forcing and bounded arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• An elementary submodel never preserved by skolem expansions
• Completing theories by forcing

This page was built for publication: Generic expansions of structures