The tree property at the double successor of a singular cardinal with a larger gap

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F18%3A10325737" target="_blank" >RIV/00216208:11210/18:10325737 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1016/j.apal.2018.02.002" target="_blank" >https://doi.org/10.1016/j.apal.2018.02.002</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.apal.2018.02.002" target="_blank" >10.1016/j.apal.2018.02.002</a>

Jazyk výsledku

angličtina

Název v původním jazyce

The tree property at the double successor of a singular cardinal with a larger gap

Popis výsledku v původním jazyce

Starting from a Laver-indestructible supercompact $kappa$ and a weakly compact $lambda$ above $kappa$, we show there is a forcing extension where $kappa$ is a strong limit singular cardinal with cofinality $omega$, $2^kappa = kappa^{+3} = lambda^+$, and the tree property holds at $kappa^{++} = lambda$. Next we generalize this result to an arbitrary cardinal $mu$ such that $kappa &lt;cf{mu}$ and $lambda^+ le mu$. This result provides more information about possible relationships between the tree property and the continuum function.

Název v anglickém jazyce

The tree property at the double successor of a singular cardinal with a larger gap

Popis výsledku anglicky

Starting from a Laver-indestructible supercompact $kappa$ and a weakly compact $lambda$ above $kappa$, we show there is a forcing extension where $kappa$ is a strong limit singular cardinal with cofinality $omega$, $2^kappa = kappa^{+3} = lambda^+$, and the tree property holds at $kappa^{++} = lambda$. Next we generalize this result to an arbitrary cardinal $mu$ such that $kappa &lt;cf{mu}$ and $lambda^+ le mu$. This result provides more information about possible relationships between the tree property and the continuum function.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GF15-34700L" target="_blank" >GF15-34700L: Kontinuum, forcing a velké kardinály</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

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ů

Název periodika

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

—

Svazek periodika

2018

Číslo periodika v rámci svazku

169

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

17

Strana od-do

548-564

Kód UT WoS článku

000439539300005

EID výsledku v databázi Scopus

2-s2.0-85042383831