Wholeness axiom

In mathematics, the wholeness axiom is a strong axiom of set theory introduced by Paul Corazza in 2000.[1]

Statement

The wholeness axiom states roughly that there is an elementary embedding j from the Von Neumann universe V to itself. This has to be stated carefully to avoid Kunen's inconsistency theorem stating (roughly) that no such embedding exists.

More specifically, as Samuel Gomes da Silva states, "the inconsistency is avoided by omitting from the schema all instances of the Replacement Axiom for j-formulas".[2] Thus, the wholeness axiom differs from Reinhardt cardinals (another way of providing elementary embeddings from V to itself) by allowing the axiom of choice and instead modifying the axiom of replacement. However, Holmes, Forster & Libert (2012) write that Corrazza's theory should be "naturally viewed as a version of Zermelo set theory rather than ZFC".[3]

If the wholeness axiom is consistent, then it is also consistent to add to the wholeness axiom the assertion that all sets are hereditarily ordinal definable.[4] The consistency of stratified versions of the wholeness axiom, introduced by Hamkins (2001),[4] was studied by Apter (2012).[5]

gollark: Wow, that's very wrong of you, making you a wrong person.
gollark: Too bad, consume bees.
gollark: This is NOT true. I have not in any way been sponsored by pizza companies. There have been no advertising agreements whatsoever with any companies producing pizza or otherwise to have me subliminally advertise pizza, as my profile picture is not a pizza. Since it is not a pizza, this is obviously not pizza advertisement whatsoever. No monetary exchanges or otherwise have occurred with companies engaged in pizza production for any reason relating to my profile picture. You are clearly engaged in libel and attempting to discredit my non-pizza-advertising status. It is IN NO WAY subliminal pizza advertising because I DO NOT work for pizza companies in any form. It's not pizza. There were no deals, under-the-table or otherwise, with pizza companies. No pizza companies pay for any kind of subliminal advertising involving me. People make that mistake, but I am not working for pizza companies doing subliminal advertising; that is not in any way what I am doing. I am NOT being sponsored by ANY pizza companies to display subliminal pizza advertising OF ANY KIND. Pizza companies have NO AFFILIATION with me in ANY FORM.
gollark: That sure is a statement.
gollark: Well, as they say, languages are defined by use kind of sort of.

References
  1. Corazza, Paul (2000), "The Wholeness Axiom and Laver Sequences", Annals of Pure and Applied Logic, 105: 157–260, doi:10.1016/s0168-0072(99)00052-4
  2. Samuel Gomes da Silva, Review of "The wholeness axioms and the class of supercompact cardinals" by Arthur Apter, MR2914539.
  3. Holmes, M. Randall; Forster, Thomas; Libert, Thierry (2012), "Alternative set theories", Sets and extensions in the twentieth century, Handb. Hist. Log., 6, Elsevier/North-Holland, Amsterdam, pp. 559–632, doi:10.1016/B978-0-444-51621-3.50008-6, MR 3409865.
  4. Hamkins, Joel David (2001), "The wholeness axioms and V = HOD", Archive for Mathematical Logic, 40 (1): 1–8, arXiv:math/9902079, doi:10.1007/s001530050169, MR 1816602.
  5. Apter, Arthur W. (2012), "The wholeness axioms and the class of supercompact cardinals", Bulletin of the Polish Academy of Sciences, 60 (2): 101–111, doi:10.4064/ba60-2-1, MR 2914539.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.