Timeline for Characterizations of non-wellfounded models?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 5, 2010 at 5:24 | comment | added | Andrés E. Caicedo | Joel, the result is due to H. Putnam. A friend of mine, Johannes Hafner, wrote his dissertation in logic about this: "From Metamathematics to Philosophy: A Critical Assessment of Putnam’s Model-Theoretic Argument", 2005. | |
| Jan 24, 2010 at 3:55 | comment | added | François G. Dorais | By chance, I just found the last theorem you state as Theorem 1.1 in the Appendix of Barwise's Admissible Sets and Structures. The citation there is Barwise Infnitary Methods in the Model Theory of Set Theory (Logic Colloquium 69) but I haven't checked that out. (Mathias got his Ph.D. under Jensen in 1970. It could go either way, but evidence is leaning in favor of Barwise.) | |
| Dec 29, 2009 at 22:35 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |