« first day (1670 days earlier)      last day (2807 days later) » 

Martin Sleziak
Martin Sleziak
4:43 AM
Posting a dummy post to keep the room from getting frozen. Just in case it could be useful in the future.
 
 
4 hours later…
Martin Sleziak
Martin Sleziak
8:40 AM
Anybody here read Nik Weaver's Forcing_for_Mathematicians. Is that a good book as the first reading on the topic?
I have seen this about the book: "Nik Weaver's book Forcing for Mathematicians was written for mathematicians who want to learn the basic machinery of forcing. No background in logic is assumed, beyond the facility with formal syntax which should be second nature to any well-trained mathematician." The quote is taken from en.wikipedia.org/wiki/Forcing_%28mathematics%29#External_links
(If my background is important, I think I know enough about basic set theory - ZFC, cardinals, ordinals, equivalents of AC. I have not learned about things like Martin's Axiom, clubs and similar more advanced topics.)
 
Martin Sleziak
Martin Sleziak
8:55 AM
This book is also mentioned in a comment to this question:
4
Q: Best Less-Famous Texts for Forcing

user148311There are many books, papers and lecture notes which give an introduction to forcing (e.g. Jech's or Kunen's books) but here I am looking for some possibly less-famous useful comprehensive texts about forcing with a wide range of solved/unsolved problems and a nice description of what is going o...

reference-request soft-question set-theory forcing book-recommendation
It is not mentioned here:
15
Q: A nice introduction to forcing

tomaszI want to get acquainted with forcing, along with a few friends, and I'm looking for a text to introduce the basic notions (pardon the pun :) ). The point is to study a text (or texts, if they can be reasonably seamed together) together for about one week, several hours a day, each of us (three)...

reference-request set-theory book-recommendation forcing
The above are (at the moment) the only questions tagged forcing+book-recommendation. Maybe something useful can be found also in questions tagged forcing+reference-request.
 

« first day (1670 days earlier)      last day (2807 days later) »