### Logic List Mailing Archive

## new book: "Set Theory, Arithmetic, and Foundations of Mathematics" (LNL 36)

Dear Colleagues,
Our book:
"Set Theory, Arithmetic, and Foundations of Mathematics: Theorems,
Philosophies"
is out in Europe and shortly in the US. Edited by Roman Kossak and
myself, it is a series of papers around the theme of the title.
The volume includes, among other papers:
A transcript of Gödel's conversations with Sue Toledo about
phenomenology, proof theory and the Euthyphro dialogue, which took
place in the early 1970s; a commentary on these conversations by
Curtis Franks; Hugh woodin's paper arguing against the Generic
Multiverse Position; Troelstra's history of constructivism through 1991;
papers on arithmetic by Schmerl, Enayat, Visser, Kaye and others;
Tennenbaum's simple proof of the irrationality of the square root of 2.
The book has been long in the making. We hope the fom community finds
it interesting!
Reference: Lecture notes in Logic 36, Cambridge University Press.
http://www.cambridge.org/aus/catalogue/catalogue.asp?isbn=9781107008045
-Juliette Kennedy