Forcing with propositional Lindenbaum algebras

DOI10.2298/PIM0796107PMaRDI QIDQ3510446zbMATH OpenOpenAlexFDO

Authors Aleksandar Perović

Publication date 2 July 2008

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/130041

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

dense embedding

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Recommendations

• Embeddings of Cohen algebras
• scientific article; zbMATH DE number 1548939
• scientific article
• First steps towards a formalization of forcing
• Cohen forcing and inner models

Cited in

(1)

• Solovay-type characterizations for forcing-algebras

This page was built for publication: Forcing with propositional Lindenbaum algebras

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