Math Publications Page
| |
| Revisiting the Construction of the Real Line American Mathematical Monthly, submitted March, 2013 PDF format | |
| The Axiom of Infinity and Transformations j: V -> V Bulletin of Symbolic Logic, March, 2010 PDF format | |
| Forcing over Nonwellfounded Models Australasian Journal of Logic, Vol 5, 2007 The online journal article is available here. PDF format | |
| Could It Ever Happen That logb(x) = x? Unpublished notes PDF format | |
| Lifting Elementary Embeddings j: Vλ
-> Vλ Archive for Mathematical Logic, vol. 46, 2007, pp. 61-72 abstract PDF format Link to Article on Archive webiste | |
| The Spectrum of Elementary Embeddings j: V --> V Annals of Pure and Applied Logic, vol. 139, May 2006, pp. 327-399 abstract (jpg, 100K) PDF format (575K) Link to Article on Annals website (Note: An earlier version of this paper by the same name included the material in this paper as well as the material in the "Gap" paper and the "Forcing" paper, listed above. For publishing purposes, I broke up the original paper into 3 parts.) | |
| The Gap Between I3 and the Wholeness Axiom Fundamenta Mathematicae, 179, 2003, pp. 43-60 abstract (jpg, 175K) PDF format (120K) | |
| The Wholeness Axiom and Laver Sequences Ann Pure App Logic, October, 2000, pp. 157-260 abstract (jpg, 175K) PDF format (818K) | |
| Consistency of V = HOD with the Wholeness Axiom Arch Math Logic, 2000, vol 39, pp. 219-226 abstract (jpg, 77K) PDF format (103K) | |
| Laver Sequences for Extendible and Super-almost-huge Cardinals Journ. Symb. Logic, Vol 64, No. 3, Sep 1999, pp. 263-83 abstract (jpg, 136K) PDF format (221K) Corrections to ``Laver Sequence for Extendible and And Super-almost-huge Cardinals'' PDF format (81K) | |
| A New Large Cardinal Axiom and Laver Sequences for Extendibles Fundamenta Mathematicae, 152, 1997, pp. 183-188 abstract (jpg, 76K) PDF format (86K) | |
| Introduction to Metric-Preserving Functions Amer. Math Monthly, Vol 104, No. 4, April 1999, pp 309-23 abstract (jpg, 89K) PDF format (153K) | |
| Ramsey Sets, the Ramsey Ideal, and Other Classes over R Journ Symb Logic, Vol 57, No. 4, Dec 1992, pp 1441-68 PDF format (1.9MB) | |
| The Generalized Borel Conjecture and Strongly Proper Orders Trans Amer Math Soc, Vol 316, 1989, pp 115-40 abstract (jpg, 137K) PDF format (260K) | |
| Mathematical Logic and Computability McGraw Hill, 1996. (Republished independently in this format in 2000) (Undergraduate text, co-authored with H. J. Keisler and the Wisconsin Logic Group) PDF format. | |
| Transparencies from Recent Talks (PDF format) ASL Annual Meeting, Mar 26-30, 2008, UC Irvine "The Axiom of Infinity and Transformations V -> V'' BEST 2002 "Forcing over the language {e, j}" BSU Colloquium, 2001 "Has modern mathematics finally understood the infinite?" | |
|