pith. sign in

arxiv: 1902.03235 · v1 · pith:HIVWCNMJnew · submitted 2019-02-08 · 🧮 math.LO

The method of forcing

classification 🧮 math.LO
keywords methodforcingaimedarticleemphasisgiveknowledgelogic
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.