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:1902.07373 [math.LO] (Published 2019-02-20)
Construction and Set Theory
arXiv:1805.09646 [math.LO] (Published 2018-05-21)
A new presentation of categorical syllogisms
arXiv:1707.04660 [math.LO] (Published 2017-07-14)
The classification of countable models of set theory