In recent work Woodin has defined new axioms stronger than I0 (the existence of an elementary embedding j from L(Vλ+1) to itself), that involve elementary embeddings between slightly larger models. There is a natural correspondence between I0 and determinacy, but to extend this correspondence in this new framework we must insist that these elementary embeddings are proper. While at first this seemed to be a common property, in this paper will be provided a model in which all such elementary embeddings are not proper. This result fills a gap in a theorem by Woodin and justifies the definition of properness

Totally non-proper ordinals beyond L(V λ+1)

DIMONTE, Vincenzo
2011-01-01

Abstract

In recent work Woodin has defined new axioms stronger than I0 (the existence of an elementary embedding j from L(Vλ+1) to itself), that involve elementary embeddings between slightly larger models. There is a natural correspondence between I0 and determinacy, but to extend this correspondence in this new framework we must insist that these elementary embeddings are proper. While at first this seemed to be a common property, in this paper will be provided a model in which all such elementary embeddings are not proper. This result fills a gap in a theorem by Woodin and justifies the definition of properness
File in questo prodotto:
File Dimensione Formato  
Totally non-proper ordinals.pdf

accesso aperto

Descrizione: Articolo principale
Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 345.58 kB
Formato Adobe PDF
345.58 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1109728
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 7
social impact