Here is the directory containing the books
listed below together, in some cases,
with their TeX source files.
I am grateful to Princeton University Press for permission
to post the following books here.
This is also available in a French translation,
Théorie radicalement élémentaire des probabilités
I thank Thierry Delbecque for the translation and critical revision.
A Russian translation
by A. A. Ruban and S. S. Kutateladze was
published by the Sobolev Institute of Mathematics of the
Siberian Division of the RAS.
I thank Professor Kutateladze for initiating the translation project and for
sending me a pdf file for posting here.
I thank Jan Suzuki for typing the TeX file.
Unfinished book on nonstandard analysis
This was intended to be the beginning of a book on external sets
and functions, but only the first three chapters were written.
Some of them are temporarily withdrawn for revision.
Chapter 1. Internal Set Theory
Chapter 2. Logic and ZFC
Chapter 3. The Syntax of IST
To my home page.