JOINT DIAMONDS AND LAVER DIAMONDS
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F19%3A10408149" target="_blank" >RIV/00216208:11210/19:10408149 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/68407700:21240/19:00348719
Výsledek na webu
<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=FUTB9Sm5eC" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=FUTB9Sm5eC</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/jsl.2019.3" target="_blank" >10.1017/jsl.2019.3</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
JOINT DIAMONDS AND LAVER DIAMONDS
Popis výsledku v původním jazyce
The concept of jointness for guessing principles, specifically lozenge(kappa) and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously guessed by the members of the family. While equivalent in the case of lozenge(kappa), joint Laver diamonds are nontrivial new objects. We give equiconsistency results for most of the large cardinals under consideration and prove sharp separations between joint Laver diamonds of different lengths in the case of theta-supercompact cardinals.
Název v anglickém jazyce
JOINT DIAMONDS AND LAVER DIAMONDS
Popis výsledku anglicky
The concept of jointness for guessing principles, specifically lozenge(kappa) and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously guessed by the members of the family. While equivalent in the case of lozenge(kappa), joint Laver diamonds are nontrivial new objects. We give equiconsistency results for most of the large cardinals under consideration and prove sharp separations between joint Laver diamonds of different lengths in the case of theta-supercompact cardinals.
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/GF17-33849L" target="_blank" >GF17-33849L: Filtry, ultrafiltry a souvislosti s forcingem</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2019
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
84
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
34
Strana od-do
895-928
Kód UT WoS článku
000487036000002
EID výsledku v databázi Scopus
2-s2.0-85072331964