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



    Upload a copy of this work     Papers currently archived: 100,448

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.
Consistency of V = HOD with the wholeness axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
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.
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
60 (#351,061)

6 months
14 (#216,207)

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

No references found.

Add more references