Easton's theorem for the tree property below ℵω
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F21%3A00541938" target="_blank" >RIV/67985840:_____/21:00541938 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1016/j.apal.2021.102974" target="_blank" >https://doi.org/10.1016/j.apal.2021.102974</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.apal.2021.102974" target="_blank" >10.1016/j.apal.2021.102974</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Easton's theorem for the tree property below ℵω
Popis výsledku v původním jazyce
Starting with infinitely many supercompact cardinals, we show that the tree property at every cardinal ℵn, 1<n<ω, is consistent with an arbitrary continuum function below ℵω which satisfies 2ℵn>ℵn+1, n<ω. Thus the tree property has no provable effect on the continuum function below ℵω except for the restriction that the tree property at κ++ implies 2κ>κ+ for every infinite κ.
Název v anglickém jazyce
Easton's theorem for the tree property below ℵω
Popis výsledku anglicky
Starting with infinitely many supercompact cardinals, we show that the tree property at every cardinal ℵn, 1<n<ω, is consistent with an arbitrary continuum function below ℵω which satisfies 2ℵn>ℵn+1, n<ω. Thus the tree property has no provable effect on the continuum function below ℵω except for the restriction that the tree property at κ++ implies 2κ>κ+ for every infinite κ.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Annals of Pure and Applied Logic
ISSN
0168-0072
e-ISSN
1873-2461
Svazek periodika
172
Číslo periodika v rámci svazku
7
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
20
Strana od-do
102974
Kód UT WoS článku
000651906100005
EID výsledku v databázi Scopus
2-s2.0-85104068814