"[Product]"¹1-complete families of elementary sequences

Annals of Pure and Applied Logic 38 (3):257 (1988)
  Copy   BIBTEX

Abstract

If $j$ is an iterable elementary embedding of a model of ZFC into one of its submodels, and, for $\gamma: \omega\to\omega$, one defines $j_\gamma$ to be the sequence whose $n$th entry is the $\gamma(n)$th iterate of $j$, then the family of all sequences $j_\gamma$ is $\Pi_1^1$-complete.

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(88)90028-0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Consistency of V = HOD with the wholeness axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
Critical points in an algebra of elementary embeddings.Randall Dougherty - 1993 - Annals of Pure and Applied Logic 65 (3):211-241.
The spectrum of elementary embeddings j: V→ V.Paul Corazza - 2006 - Annals of Pure and Applied Logic 139 (1):327-399.
The wholeness axiom and Laver sequences.Paul Corazza - 2000 - Annals of Pure and Applied Logic 105 (1-3):157-260.
$\Gamma$-convergence of concentration problems.Micol Amar & Adriana Garroni - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (1):151-179.
The length of some diagonalization games.Marion Scheepers - 1999 - Archive for Mathematical Logic 38 (2):103-122.
Applications of pcf for mild large cardinals to elementary embeddings.Moti Gitik & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (9):855-865.
A polarized partition relation using elementary substructures.Albin Jones - 2000 - Journal of Symbolic Logic 65 (4):1491-1498.
Global calibrations for the non-homogeneous Mumford-Shah functional.Massimiliano Morini - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (3):603-648.

Analytics

Added to PP
2014-01-16

Downloads
23 (#945,235)

6 months
7 (#722,178)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Dehornoy
Université de Caen

Citations of this work

Implications between strong large cardinal axioms.Richard Laver - 1997 - Annals of Pure and Applied Logic 90 (1-3):79-90.
Another use of set theory.Patrick Dehornoy - 1996 - Bulletin of Symbolic Logic 2 (4):379-391.
A coding of the countable linear orderings.Patrick Dehornoy - 1990 - Studia Logica 49 (4):585 - 590.
Laver’s results and low-dimensional topology.Patrick Dehornoy - 2016 - Archive for Mathematical Logic 55 (1-2):49-83.

Add more citations

References found in this work

No references found.

Add more references