scientific article; zbMATH DE number 3959396

MaRDI QIDQ3727973zbMATH OpenFDO

Authors Fuxing Shen

Publication date 1986

zbMATH Keywords

forcing companiongeneric modelsmodel companion

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 3959397
• Forcing in Łukasiewicz predicate logic
• scientific article; zbMATH DE number 3928979
• scientific article; zbMATH DE number 1150406
• scientific article; zbMATH DE number 3902636

Cited in

(7)

• Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
• A few remarks on n-infinite forcing companions
• scientific article; zbMATH DE number 3959397 (Why is no real title available?)
• scientific article; zbMATH DE number 203220 (Why is no real title available?)
• Solovay models and forcing extensions
• Essential forcing generics
• 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 Q3727973)