David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Bulletin of Symbolic Logic 16 (1):37-84 (2010)
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? It was shown in the 1960s by Lawvere that the existence of an infinite set is equivalent to the existence of a certain kind of structure-preserving transformation from V to itself, not isomorphic to the identity. We use Lawvere's transformation, rather than ω, as a starting point for a reasonably natural sequence of strengthenings and refinements, leading to a proposed strong Axiom of Infinity. A first refinement was discussed in later work by Trnková—Blass, showing that if the preservation properties of Lawvere's tranformation are strengthened to the point of requiring it to be an exact functor , such a transformation is provably equivalent to the existence of a measurable cardinal. We propose to push the preservation properties as far as possible, short of inconsistency. The resulting transformation V→V is strong enough to account for virtually all large cardinals, but is at the same time a natural generalization of an assertion about transformations V→V known to be equivalent to the Axiom of Infinity
|Keywords||Axiom of Infinity WA Wholeness Axiom large cardinal exact functor critical point Lawvere universal element|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Herbert Hochberg (1977). Properties, Abstracts, and the Axiom of Infinity. Journal of Philosophical Logic 6 (1):193 - 207.
Renling Jin (1992). The Isomorphism Property Versus the Special Model Axiom. Journal of Symbolic Logic 57 (3):975-987.
David Asperó (2002). A Maximal Bounded Forcing Axiom. Journal of Symbolic Logic 67 (1):130-142.
Robert E. Beaudoin (1987). Strong Analogues of Martin's Axiom Imply Axiom R. Journal of Symbolic Logic 52 (1):216-218.
Saharon Shelah (1987). Semiproper Forcing Axiom Implies Martin Maximum but Not |mathrmPFA+. Journal of Symbolic Logic 52 (2):360 - 367.
Chung-Ying Cheng (1986). On the Environmental Ethics of the Tao and the ch'I. Environmental Ethics 8 (4):351-370.
Paul Corazza (1999). Laver Sequences for Extendible and Super-Almost-Huge Cardinals. Journal of Symbolic Logic 64 (3):963-983.
Lorenz Halbeisen & Saharon Shelah (2001). Relations Between Some Cardinals in the Absence of the Axiom of Choice. Bulletin of Symbolic Logic 7 (2):237-261.
Franco Parlamento & Alberto Policriti (1991). Expressing Infinity Without Foundation. Journal of Symbolic Logic 56 (4):1230-1235.
Added to index2010-08-13
Total downloads18 ( #93,184 of 1,101,622 )
Recent downloads (6 months)2 ( #178,496 of 1,101,622 )
How can I increase my downloads?