We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of notion of saturation of Aronszajn trees considered by Koenig, Larson, Moore and Velickovic and simplifies the original proof of Moore.
A direct proof of the five element basis theorem
Venturi G;
2017-01-01
Abstract
We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of notion of saturation of Aronszajn trees considered by Koenig, Larson, Moore and Velickovic and simplifies the original proof of Moore.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
A direct proof of the five element basis.pdf
non disponibili
Tipologia:
Versione finale editoriale
Licenza:
NON PUBBLICO - accesso privato/ristretto
Dimensione
204.91 kB
Formato
Adobe PDF
|
204.91 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
1012.0596.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
203.72 kB
Formato
Adobe PDF
|
203.72 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
