Logo del repository
  1. Home
 
Opzioni

A partially non-proper ordinal beyond L(V λ+1)

DIMONTE, Vincenzo
2012
  • journal article

Periodico
ANNALS OF PURE AND APPLIED LOGIC
Abstract
In his recent work, Woodin has defined new axioms stronger than I0 (the existence of an elementary embedding from 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 the new framework we must insist that these elementary embeddings are proper. Previous results validated the definition, showing that there exist elementary embeddings that are not proper, but it was still open whether properness was determined by the structure of the underlying model or not. This paper proves that this is not the case, defining a model that generates both proper and non-proper elementary embeddings, and compare this new model to the older ones.
DOI
10.1016/j.apal.2012.02.003
WOS
WOS:000306094300011
Archivio
http://hdl.handle.net/11390/1109734
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84861688208
http://www.sciencedirect.com/science/article/pii/S0168007212000577?via%3Dihub
Diritti
open access
Soggetti
  • Large cardinal

  • Elementary embedding

  • Sharp

  • Relative ordinal-defi...

  • Closed games

Scopus© citazioni
4
Data di acquisizione
Jun 14, 2022
Vedi dettagli
Web of Science© citazioni
4
Data di acquisizione
Mar 18, 2024
Visualizzazioni
3
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback