scientific article; zbMATH DE number 3616400

MaRDI QIDQ4180327zbMATH OpenFDO

Authors Jean-Claude Lablanquie

Publication date 1978

Full work available at URL http://www.numdam.org/item?id=ASCFM_1978__66_16_27_0, https://eudml.org/doc/80474

zbMATH Keywords

Chang's Omitting Type TheoremInfinite ForcingModel-Theoretic Forcing

Mathematics Subject Classification ID

Model-theoretic forcing (03C25)

Cites work

• scientific article; zbMATH DE number 3351552 (Why is no real title available?)
• Omitting types of prenex formulas

Cited in

(1)

• Forcing in Łukasiewicz predicate logic

This page was built for publication:

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