Square with built-in diamond-plus

DOI10.1017/JSL.2016.69MaRDI QIDQ5359566zbMATH OpenOpenAlexFDO

Authors Assaf Rinot, Ralf Schindler

Publication date 26 September 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/1757e3e8ad608cae21a6527035b273ff93cbc8fa

zbMATH Keywords

almost Souslin treeconstructibilitydiamond principleKurepa treeparameterized proxy principlesquare principlewalks on ordinals

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Squares with diamonds and Souslin trees with special squares
• Special Square Sequences
• Aronszajn trees, square principles, and stationary reflection
• \(\text{GCH} + \square_ k\) implies the existence of two non-isomorphic complete normal \(\text{ST}_{k^ +}\)
• Non-special Aronszajn trees on \(\aleph _{\omega +1}\)

Cites work

• A microscopic approach to Souslin-tree constructions. I.
• Chain conditions of products, and weakly compact cardinals
• Club guessing sequences and filters
• Hedetniemi's conjecture for uncountable graphs
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• Partitioning pairs of countable ordinals
• Putting a diamond inside the square
• Representing trees as relatively compact subsets of the first Baire class
• Set theory. Exploring independence and truth
• Some results about (+) proved by iterated forcing
• Souslin Properties and Tree Topologies
• Squares with diamonds and Souslin trees with special squares
• Stacking mice
• THE CLUB GUESSING IDEAL: COMMENTARY ON A THEOREM OF GITIK AND SHELAH
• The combinatorial principle ⋄^#
• The fine structure of the constructible hierarchy
• The uniformization property for \(chi_ 2\).
• Trees, subtrees and order types
• Walks on ordinals and their characteristics
• Zeta elements in depth 3 and the fundamental Lie algebra of the infinitesimal Tate curve

Cited in

(10)

• \(\text{GCH} + \square_ k\) implies the existence of two non-isomorphic complete normal \(\text{ST}_{k^ +}\)
• Knaster and friends. I: Closed colorings and precalibers
• Indexed squares
• A large pairwise far family of Aronszajn trees
• REDUCED POWERS OF SOUSLIN TREES
• Squares with diamonds and Souslin trees with special squares
• Special Square Sequences
• I₀ and combinatorics at ^+
• Distributive Aronszajn trees
• On minimal non--scattered linear orders

This page was built for publication: Square with built-in diamond-plus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5359566)