
arXiv: 1708.02145
Abstract The concept of jointness for guessing principles, specifically ${\diamondsuit _\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 ${\diamondsuit _\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 θ-supercompact cardinals.
joint Laver functions, Large cardinals, FOS: Mathematics, 03E55, 03E35, Consistency and independence results, Mathematics - Logic, Logic (math.LO), Other combinatorial set theory, Laver functions, joint diamond sequences
joint Laver functions, Large cardinals, FOS: Mathematics, 03E55, 03E35, Consistency and independence results, Mathematics - Logic, Logic (math.LO), Other combinatorial set theory, Laver functions, joint diamond sequences
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
