A FORMALISM FOR SOME CLASS OF FORCING NOTIONS

DOI10.1002/MALQ.19920380140MaRDI QIDQ4295243zbMATH OpenOpenAlexFDO

Authors Piotr Koszmider

Publication date 3 November 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19920380140

zbMATH Keywords

iterated forcingPrikry- Silver forcingproduct of forcing notionsSacks forcing

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Other aspects of forcing and Boolean-valued models (03E40)

Recommendations

• Norms on possibilities. I. Forcing with trees and creatures
• Multiple Forcing
• A constructive exposition on simple forcings and countable forcings
• Reasonably complete forcing notions
• scientific article; zbMATH DE number 797413

Cited in

(5)

• More forcing notions imply diamond
• Forcing formulas in Fraïssé structures and classes
• There are no P-points in Silver extensions
• Chasing Silver
• A constructive exposition on simple forcings and countable forcings

This page was built for publication: A FORMALISM FOR SOME CLASS OF FORCING NOTIONS

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