arXiv Analytics

Sign in

arXiv:1902.03235 [math.LO]AbstractReferencesReviewsResources

The method of forcing

Justin Tatch Moore

Published 2019-02-08Version 1

The purpose of this article is to give a presentation of the method of forcing aimed at someone with a minimal knowledge of set theory and logic. The emphasis will be on how the method can be used to prove theorems in ZFC.

Comments: This article started out as a set of notes prepared for a tutorial presented during BIRS workshop 13w5026 in November 2013. Comments welcome
Categories: math.LO
Subjects: 03E40, 03E57, 03E75, 05D10, 54C35
Related articles: Most relevant | Search more
arXiv:math/9611209 [math.LO] (Published 1996-11-13)
Chains of End Elementary Extensions of Models of Set Theory
arXiv:1805.09646 [math.LO] (Published 2018-05-21)
A new presentation of categorical syllogisms
arXiv:0709.2436 [math.LO] (Published 2007-09-15)
A Note on Singular Cardinals in Set Theory Without Choice