JOINT DIAMONDS AND LAVER DIAMONDS
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F19%3A00348719" target="_blank" >RIV/68407700:21240/19:00348719 - isvavai.cz</a>
Alternative codes found
RIV/00216208:11210/19:10408149
Result on the web
<a href="https://doi.org/10.1017/jsl.2019.3" target="_blank" >https://doi.org/10.1017/jsl.2019.3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/jsl.2019.3" target="_blank" >10.1017/jsl.2019.3</a>
Alternative languages
Result language
angličtina
Original language name
JOINT DIAMONDS AND LAVER DIAMONDS
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Journal of Symbolic Logic
ISSN
0022-4812
e-ISSN
1943-5886
Volume of the periodical
84
Issue of the periodical within the volume
3
Country of publishing house
US - UNITED STATES
Number of pages
34
Pages from-to
895-928
UT code for WoS article
000487036000002
EID of the result in the Scopus database
—