One more aspect of forcing and omitting types

DOI10.2307/2272947zbMATH Open0406.03063OpenAlexW4251799182MaRDI QIDQ4192050FDOQ4192050

Authors: Zofia Adamowicz 

Publication date: 1976

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

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

zbMATH Keywords

model theoryultrafilterset theoryomitting typesgeneric modelsLindenbaum-Tarski algebraCohen's forcing

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Model-theoretic forcing (03C25)

This page was built for publication: One more aspect of forcing and omitting types

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