All Questions
3 questions with no upvoted or accepted answers
13
votes
0
answers
2k
views
Is there any correspondence between Gödel and Kreisel that supports Kreisel's observation that Gödel changed his mind about his 1938 set theory note?
At a conference in 1965 there were some interesting comments made by Kreisel and Mostowski asserting that Gödel later changed his mind regarding his1938 note on his set theory results (see Problems in ...
- 481
5
votes
0
answers
947
views
Why are real-valued measurable cardinals never explicitly mentioned in Gödel's "What is Cantor's Continuum Problem"?
It is a matter of mathematical folklore that Gödel "entertained the idea of so called stronger axioms of infinity deciding $CH$...." (this quote from Radek Honzik's paper, "Large ...
- 6,132
3
votes
0
answers
342
views
A Question Regarding Boolean-valued Models
What were the intuitions motivating the creation (or discovery, if you will) of Boolean-valued models? I have searched for the Scott-Solovay paper on the subject, but to no avail. There also seems to ...
- 6,132