Historical remarks on Suslin's problem / Akihiro Kanamori
The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture / W. Hugh Woodin
[omega]-Models of finite set theory / Ali Enayat and James H. Schmerl and Albert Visser
Tennenbaum's theorem for models of arithmetic / Richard Kaye
Hierarchies of subsystems of weak arithmetic / Shahram Mohsenipour
Diophantine correct open induction / Sidney Raffer
Tennenbaum's theorem and recursive reducts / James H. Schmerl
History of constructivism in the 20th century / A.S. Troelstra
A very short history of ultrafinitism / Rose M. Cherubin and Mirco A. Mannucci
Sue Toledo's notes of her conversations with Gödel in 1972-1975 / Sue Toledo
Stanley Tennenbaum's Socrates / Curtis Franks
. Tennenbaum's proof of the irrationality of [the square root of] 2́ / Jouko Väänänen.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies. ISBN 9781107008045. Published by Cambridge University Press in 2011. Publication and catalogue information, links to buy online and reader comments.
