306 reputation
15
bio website logic.pdmi.ras.ru/~andrey
location travelling
age 38
visits member for 3 years, 10 months
seen Jun 28 '12 at 23:41
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