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:1805.09646 [math.LO] (Published 2018-05-21)
A new presentation of categorical syllogisms
arXiv:1906.02873 [math.LO] (Published 2019-06-07)
Initial self-embeddings of models of set theory
arXiv:1905.02718 [math.LO] (Published 2019-05-07)
A Theory of Particular Sets

Links

Toolbox