PAUL CORAZZA
Math Publications Page

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
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.
Unpublished Articles (PDF format)
When Are Closed and Bounded Sets Compact? First version 1988, revised 2013. 2 pages.
P-Points in the Construction of the Real Line, 2013. 6 pages.
Revisiting the Construction of the Real Line, 2013. 20 pages.
Fixed Points of Logs and a Characterization of e, 2006, revised 2013. 8 pages.

Transparencies from Recent Talks (PDF format)
MUM Faculty Research Seminar, Apr 26, 2013, MUM Fairfield"Magical Origin of the Natural Numbers"
MUM Faculty Symposium, Apr 27-29, 2012, MUM Fairfield"Recent Progress in the Mathematical Analysis of the Infinite"
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?"
HOME