Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

INDESTRUCTIBILITY OF THE TREE PROPERTY

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F20%3A10422936" target="_blank" >RIV/00216208:11210/20:10422936 - isvavai.cz</a>

  • Výsledek na webu

    <a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=N-Wt2GNq-D" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=N-Wt2GNq-D</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1017/jsl.2019.61" target="_blank" >10.1017/jsl.2019.61</a>

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    INDESTRUCTIBILITY OF THE TREE PROPERTY

  • Popis výsledku v původním jazyce

    In the first part of the article, we show that if omega = &lt;= kappa &lt; lambda are cardinals, kappa(&lt;kappa) = kappa, and lambda is weakly compact, then in V[M(kappa, lambda)] the tree property at lambda = (kappa(++))(V[M(kappa,lambda)]) is indestructible under all kappa(+)-cc forcing notions which live in V[Add(kappa, lambda)], where Add(kappa, lambda) is the Cohen forcing for adding lambda-many subsets of kappa and M(kappa, lambda) is the standard Mitchell forcing for obtaining the tree property at lambda = (kappa(++))(V[M(kappa, lambda)]). This result has direct applications to Prikry-type forcing notions and generalized cardinal invariants. In the second part, we assume that lambda is supercompact and generalize the construction and obtain a model V*, a generic extension of V, in which the tree property at (kappa(++))(V)* is indestructible under all kappa(+)-cc forcing notions living in V[Add(kappa, lambda)], and in addition under all forcing notions living in V* which are kappa(+)-closed and &quot;liftable&quot; in a prescribed sense (such as kappa(++)-directed closed forcings or well-met forcings which are kappa(++)-closed with the greatest lower bounds).

  • Název v anglickém jazyce

    INDESTRUCTIBILITY OF THE TREE PROPERTY

  • Popis výsledku anglicky

    In the first part of the article, we show that if omega = &lt;= kappa &lt; lambda are cardinals, kappa(&lt;kappa) = kappa, and lambda is weakly compact, then in V[M(kappa, lambda)] the tree property at lambda = (kappa(++))(V[M(kappa,lambda)]) is indestructible under all kappa(+)-cc forcing notions which live in V[Add(kappa, lambda)], where Add(kappa, lambda) is the Cohen forcing for adding lambda-many subsets of kappa and M(kappa, lambda) is the standard Mitchell forcing for obtaining the tree property at lambda = (kappa(++))(V[M(kappa, lambda)]). This result has direct applications to Prikry-type forcing notions and generalized cardinal invariants. In the second part, we assume that lambda is supercompact and generalize the construction and obtain a model V*, a generic extension of V, in which the tree property at (kappa(++))(V)* is indestructible under all kappa(+)-cc forcing notions living in V[Add(kappa, lambda)], and in addition under all forcing notions living in V* which are kappa(+)-closed and &quot;liftable&quot; in a prescribed sense (such as kappa(++)-directed closed forcings or well-met forcings which are kappa(++)-closed with the greatest lower bounds).

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

    <a href="/cs/project/GF19-29633L" target="_blank" >GF19-29633L: Kompaktnostní principy a kombinatorické vlastnosti</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2020

  • 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

    Journal of Symbolic Logic

  • ISSN

    0022-4812

  • e-ISSN

  • Svazek periodika

    85

  • Číslo periodika v rámci svazku

    1

  • Stát vydavatele periodika

    US - Spojené státy americké

  • Počet stran výsledku

    19

  • Strana od-do

    467-485

  • Kód UT WoS článku

    000525578300021

  • EID výsledku v databázi Scopus

    2-s2.0-85083454873