bio | website | logic.pdmi.ras.ru/~andrey |
---|---|---|
location | travelling | |
age | 39 | |
visits | member for | 4 years, 3 months |
seen | Jun 28 '12 at 23:41 | |
stats | profile views | 515 |
I am a travelling metamathematician.
Jan 31 |
answered | undecidable sentences of first-order arithmetic whose truth values are unknown |
Dec 22 |
awarded | Yearling |
Apr 4 |
awarded | Nice Answer |
Mar 29 |
awarded | Supporter |
Mar 29 |
comment |
Uncountable nonstandard models of PA
Instead of downloading my paper with Kaye that is a survey of some parts of my PhD thesis, it is better to download the actual PhD thesis (written 11 years ago) from logic.pdmi.ras.ru/~andrey/research.html As far as I know, nothing new about order-types of models of arithmetic has been proved since then. (Well, there is another article of mine "Resplendent models and definability with an oracle" but this is about a connection between the order-type of models of arithmetic and linear orders that are interpreted in that model, so not exactly relevant to your question). |
Mar 29 |
comment |
Proofs of Gödel's theorem
Smorynski's article in the Handbook for Mathematical Logic is still relevant (at least you can read Kreisel's left-branch proof in there)... Kotlarski's book is still unpublished. As far as I know, Konrad Zdanowski and Zosia Adamowicz are working to have it published asap. |
Mar 29 |
answered | Proofs of Gödel's theorem |
Mar 29 |
revised |
Proofs of Gödel's theorem
added 9 characters in body |
Mar 29 |
answered | Proofs of Gödel's theorem |
Mar 25 |
awarded | Teacher |
Mar 25 |
awarded | Editor |
Mar 25 |
revised |
Proofs of Gödel's theorem
added 58 characters in body |
Mar 25 |
answered | Proofs of Gödel's theorem |
Dec 21 |
awarded | Autobiographer |