Lifting elementary embeddings j: V λ → V λ [Book Review]

Archive for Mathematical Logic 46 (2):61-72 (2007)
  Copy   BIBTEX

Abstract

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 which consistency was established assuming an I1 embedding

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Consistency of V = HOD with the wholeness axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
Perfect trees and elementary embeddings.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):906-918.
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Infinitary Jónsson functions and elementary embeddings.Masahiro Shioya - 1994 - Archive for Mathematical Logic 33 (2):81-86.
On elementary embeddings from an inner model to the universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
Coding lemmata in L.George Kafkoulis - 2004 - Archive for Mathematical Logic 43 (2):193-213.
C(n)-cardinals.Joan Bagaria - 2012 - Archive for Mathematical Logic 51 (3-4):213-240.
Embeddings of Computable Structures.Asher M. Kach, Oscar Levin & Reed Solomon - 2010 - Notre Dame Journal of Formal Logic 51 (1):55-68.
Lifting elementary embeddings j: Vλ → Vλ.Paul Corazza - 2007 - Archive for Mathematical Logic 46 (2):61-72.

Analytics

Added to PP
2013-11-23

Downloads
64 (#258,136)

6 months
8 (#411,508)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Rank-into-rank hypotheses and the failure of GCH.Vincenzo Dimonte & Sy-David Friedman - 2014 - Archive for Mathematical Logic 53 (3-4):351-366.

Add more citations

References found in this work

Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
Set Theory.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.
Elementary embeddings and infinitary combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
Fragile measurability.Joel Hamkins - 1994 - Journal of Symbolic Logic 59 (1):262-282.

View all 13 references / Add more references