Editing Forcing (mathematics) (section)

== Bibliography ==
*{{cite arXiv|last=Chow|first=Timothy|author-link=Timothy Chow|title=A Beginner's Guide to Forcing|date=2008|class=math.LO |eprint=0712.1320v2 |quote=A good introduction to the concepts of forcing that avoids a lot of technical detail. It includes a section on Boolean-valued models.}}
*{{cite journal|last=Cohen|first=Paul Joseph|title=The independence of the continuum hypothesis|journal=[[Proceedings of the National Academy of Sciences of the United States of America]]|volume=50|issue=6|pages=1143–1148|date=December 1963|doi = 10.1073/pnas.50.6.1143 |pmid=16578557|pmc=221287|bibcode=1963PNAS...50.1143C|doi-access=free}}
*{{cite journal|last=Cohen|first=Paul Joseph|title=The independence of the continuum hypothesis, II|journal=[[Proceedings of the National Academy of Sciences of the United States of America]]|volume=51|issue=1|pages=105–110|date=January 1964|doi=10.1073/pnas.51.1.105 |pmid=16591132|pmc=300611|bibcode=1964PNAS...51..105C|doi-access=free}}
*{{cite journal|last=Cohen|first=Paul Joseph|title=The Discovery of Forcing|journal=Rocky Mountain J. Math.|volume=32|issue=4|date=2002|pages=1071–1100|doi=10.1216/rmjm/1181070010|doi-access=free|quote=A historical lecture about how he developed his independence proof.}}
*{{cite arXiv|last=Easwaran|first=Kenny|author-link=Kenny Easwaran|title=A Cheerful Introduction to Forcing and the Continuum Hypothesis|date=2007 |class=math.LO |eprint=0712.2279 |quote=The article is also aimed at the beginner but includes more technical details than {{harvtxt|Chow|2008}}}}
*{{cite journal|last1=Gunther|first1=Emmanuel|last2=Pagano|first2=Miguel|last3=Sánchez Terraf|first3= Pedro|last4= Steinberg|first4=Matías|url=https://www.isa-afp.org/entries/Forcing.html|title=Formalization of Forcing in Isabelle/ZF|journal=Archive of Formal Proofs|date=May 2020|arxiv=2001.09715 |access-date=20 August 2023}}
*{{cite web|last=Kanamori|first=Akihiro|author-link=Akihiro Kanamori|url=http://math.bu.edu/people/aki/16.pdf|title=Set theory from Cantor to Cohen|date=2007}}
*{{cite book|date=2014|first=Nik|isbn=978-9814566001|last=Weaver|pages=153|publisher=World Scientific Publishing Co.|quote=Written for mathematicians who want to learn the basic machinery of forcing. No background in logic is assumed, beyond the facility with formal syntax which should be second nature to any well-trained mathematician.|title=Forcing for Mathematicians|doi=10.1142/8962 |url=https://www.worldscientific.com/worldscibooks/10.1142/8962}}
*{{MathWorld|title = Forcing|id = Forcing}}

{{Set theory}}

[[Category:Forcing (mathematics)| ]]