On wide Aronszajn trees in the presence of MA
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%3A00544057" target="_blank" >RIV/67985840:_____/21:00544057 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1017/jsl.2020.42" target="_blank" >https://doi.org/10.1017/jsl.2020.42</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/jsl.2020.42" target="_blank" >10.1017/jsl.2020.42</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On wide Aronszajn trees in the presence of MA
Popis výsledku v původním jazyce
A wide Aronszajn tree is a tree of size and height with no uncountable branches. We prove that under there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and Väänänen from 1994. We also prove that under, every wide Aronszajn tree weakly embeds in an Aronszajn tree, which combined with a result of Todorčević from 2007, gives that under every wide Aronszajn tree embeds into a Lipschitz tree or a coherent tree. We also prove that under there is no wide Aronszajn tree which weakly embeds all Aronszajn trees, improving the result in the first paragraph as well as a result of Todorčević from 2007 who proved that under there are no universal Aronszajn trees.
Název v anglickém jazyce
On wide Aronszajn trees in the presence of MA
Popis výsledku anglicky
A wide Aronszajn tree is a tree of size and height with no uncountable branches. We prove that under there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and Väänänen from 1994. We also prove that under, every wide Aronszajn tree weakly embeds in an Aronszajn tree, which combined with a result of Todorčević from 2007, gives that under every wide Aronszajn tree embeds into a Lipschitz tree or a coherent tree. We also prove that under there is no wide Aronszajn tree which weakly embeds all Aronszajn trees, improving the result in the first paragraph as well as a result of Todorčević from 2007 who proved that under there are no universal Aronszajn trees.
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/GX20-31529X" target="_blank" >GX20-31529X: Abstraktní konvergenční schémata a jejich složitost</a><br>
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
Journal of Symbolic Logic
ISSN
0022-4812
e-ISSN
1943-5886
Svazek periodika
86
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
14
Strana od-do
210-223
Kód UT WoS článku
000670658100011
EID výsledku v databázi Scopus
2-s2.0-85098613459