No Elementary Embedding from V into V is Definable from Parameters

Journal of Symbolic Logic 64 (4):1591-1594 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,743

External links

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

Through your library

My notes

Similar books and articles

Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.
Certain very large cardinals are not created in small forcing extensions.Richard Laver - 2007 - Annals of Pure and Applied Logic 149 (1-3):1-6.
On elementary embeddings from an inner model to the universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
Lifting elementary embeddings j: V λ → V λ. [REVIEW]Paul Corazza - 2007 - Archive for Mathematical Logic 46 (2):61-72.
Jonsson-like partition relations and j: V → V.Arthur W. Apter & Grigor Sargsyan - 2004 - Journal of Symbolic Logic 69 (4):1267-1281.
Regular embeddings of the stationary tower and Woodin's Σ 2 2 maximality theorem.Richard Ketchersid, Paul B. Larson & Jindřich Zapletal - 2010 - Journal of Symbolic Logic 75 (2):711-727.
Consistency of V = HOD with the wholeness axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
T-convexity and tame extensions II.Lou van den Dries - 1997 - Journal of Symbolic Logic 62 (1):14-34.
Chains of end elementary extensions of models of set theory.Andres Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.

Analytics

Added to PP
2009-01-28

Downloads
81 (#276,626)

6 months
33 (#117,695)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Varieties of Class-Theoretic Potentialism.Neil Barton & Kameryn J. Williams - 2024 - Review of Symbolic Logic 17 (1):272-304.
Plural quantification and classes.Gabriel Uzquiano - 2003 - Philosophia Mathematica 11 (1):67-81.
Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.
Reinhardt cardinals and iterates of V.Farmer Schlutzenberg - 2022 - Annals of Pure and Applied Logic 173 (2):103056.
The spectrum of elementary embeddings j: V→ V.Paul Corazza - 2006 - Annals of Pure and Applied Logic 139 (1):327-399.

View all 6 citations / Add more citations

References found in this work

Add more references