8 found
Sort by:
  1. Paul Corazza (2010). The Axiom of Infinity and Transformations J: V→V. Bulletin of Symbolic Logic 16 (1):37-84.
    We suggest a new approach for addressing the problem of establishing an axiomatic foundation for large cardinals. An axiom asserting the existence of a large cardinal can naturally be viewed as a strong Axiom of Infinity. However, it has not been clear on the basis of our knowledge of ω itself, or of generally agreed upon intuitions about the true nature of the mathematical universe, what the right strengthening of the Axiom of Infinity is—which large cardinals ought to be derivable? (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Paul Corazza (2008). Lifting Elementary Embeddings:→. Archive for Mathematical Logic 46 (2):61-72.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Paul Corazza (2007). Lifting Elementary Embeddings J: V Λ → V Λ. [REVIEW] Archive for Mathematical Logic 46 (2):61-72.
    We describe a fairly general procedure for preserving I3 embeddings j: V λ → V λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I3 embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier result in (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Paul Corazza (2006). The Spectrum of Elementary Embeddings J: V→ V. Annals of Pure and Applied Logic 139 (1):327-399.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Paul Corazza (2000). Consistency of V = HOD with the Wholeness Axiom. Archive for Mathematical Logic 39 (3):219-226.
    The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language $\{\in,j\}$ , and that asserts the existence of a nontrivial elementary embedding $j:V\to V$ . The well-known inconsistency proofs are avoided by omitting from the schema all instances of Replacement for j-formulas. We show that the theory ZFC + V = HOD + WA is consistent relative to the existence of an $I_1$ embedding. This answers a question about the (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Paul Corazza (2000). The Wholeness Axiom and Laver Sequences. Annals of Pure and Applied Logic 105 (1-3):157-260.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Paul Corazza (1999). Laver Sequences for Extendible and Super-Almost-Huge Cardinals. Journal of Symbolic Logic 64 (3):963-983.
    Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses, Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a regular class of embeddings with critical point κ, and there is an inaccessible above κ, then it is consistent for (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Paul Corazza (1992). Ramsey Sets, the Ramsey Ideal, and Other Classes Over R. Journal of Symbolic Logic 57 (4):1441 - 1468.
    We improve results of Marczewski, Frankiewicz, Brown, and others comparing the σ-ideals of measure zero, meager, Marczewski measure zero, and completely Ramsey null sets; in particular, we remove CH from the hypothesis of many of Brown's constructions of sets lying in some of these ideals but not in others. We improve upon work of Marczewski by constructing, without CH, a nonmeasurable Marczewski measure zero set lacking the property of Baire. We extend our analysis of σ-ideals to include the completely Ramsey (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation