« first day    last day (207 days later) » 

Alessandro Codenotti
Alessandro Codenotti
08:34
Ok so to summarize: we'll go through the first two chapters of Kunen's The Foundations Of Mathematics to get the basics needed for Kunen's Set Theory: An Introduction To Independence Proofs (2011 edition) and then we'll move on to the latter.
Who's up for it and how do we want to organize this?
Perturbative
Perturbative
I'm up for it!
Martin Sleziak
Martin Sleziak
08:46
I'll do my best to join, if the time permits. (In the other words, if I am able to keep up with your pace.)
 
7 hours later…
Paul Plummer
Paul Plummer
15:17
Another book that might be worth looking into is Forcing for Mathematicians by Nik Weaver
It is shorter, about 150 pages, and I think it is suppose to be relatively self contained, and it seems have several applications
Martin Sleziak
Martin Sleziak
IIRC Weaver mentions already in the introduction that his presentation is slightly different from the standard one.
I have altered some standard definitions (most profitably, the definition of a P-name) in order to simplify the presentation. You’re welcome.
 
5 hours later…
Daminark
Daminark
20:08
I'll participate as much as I can, though I'm a bit tight on time somehow

« first day    last day (207 days later) »