A microscopic approach to Souslin-tree constructions. I.

DOI10.1016/j.apal.2017.05.003zbMath1422.03093arXiv1601.01821OpenAlexW4232411050MaRDI QIDQ2404650

Ari Meir Brodsky, Assaf Rinot

Publication date: 19 September 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.01821

zbMATH Keywords

square principlemicroscopic approachparameterized proxy principlecoherence relationregressive treeuniformly coherent Souslin tree

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other combinatorial set theory (03E05) Other set-theoretic hypotheses and axioms (03E65)

Related Items

Ramsey theory over partitions III: Strongly Luzin sets and partition relations, A microscopic approach to Souslin-tree construction. II, A microscopic approach to Souslin-tree constructions. I., Same graph, different universe, Aronszajn trees, square principles, and stationary reflection, Souslin trees at successors of regular cardinals, A large pairwise far family of Aronszajn trees, SQUARE WITH BUILT-IN DIAMOND-PLUS, REDUCED POWERS OF SOUSLIN TREES, A Forcing Axiom Deciding the Generalized Souslin Hypothesis, On the complexity of classes of uncountable structures: trees on $\aleph _1$, Pseudo-Prikry sequences, A remark on Schimmerling's question, Fake reflection, On the ideal \(J[\kappa\)], More notions of forcing add a Souslin tree, Was Ulam right? I: basic theory and subnormal ideals, A guessing principle from a Souslin tree, with applications to topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Chromatic numbers of graphs -- large gaps
• Global square sequences in extender models
• On guessing generalized clubs at the successors of regulars
• \(\mu\)-complete Souslin trees on \(\mu^ +\)
• A question about Suslin trees and the weak square hierarchy
• Souslin trees and successors of singular cardinals
• Partitioning pairs of countable ordinals
• Set theory. An introduction to independence proofs
• The uniformization property for \(chi_ 2\).
• Set theory. An introduction to large cardinals
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Canonical models for \(\aleph_1\)-combinatorics
• The tree property at successors of singular cardinals
• Sticks and clubs
• On the history of Souslin's problem
• The Souslin problem
• A global version of a theorem of Ben-David and Magidor
• The Ostaszewski square and homogeneous Souslin trees
• Higher Souslin trees and the GCH, revisited
• A microscopic approach to Souslin-tree constructions. I.
• Covering properties and square principles
• Same graph, different universe
• Set theory. Exploring independence and truth
• Iterated Cohen extensions and Souslin's problem
• SQUARES, SCALES AND STATIONARY REFLECTION
• CHAIN CONDITIONS OF PRODUCTS, AND WEAKLY COMPACT CARDINALS
• REDUCED POWERS OF SOUSLIN TREES
• Jensen's diamond principle and its relatives
• Weakly Compact Cardinals and Nonspecial Aronszajn Trees
• Optimal matrices of partitions and an application to Souslin trees
• Martin’s maximum and weak square
• Reduced powers of $ℵ_2$-trees
• Diamonds
• Squares with diamonds and Souslin trees with special squares
• Trees, subtrees and order types
• The ℵ 2 \1-Souslin Hypothesis
• Higher Souslin trees and the generalized continuum hypothesis
• On Countably Compact, Perfectly Normal Spaces
• A Note on the Combinatorial Principles ◊(E)
• An variation for one souslin tree
• Souslin trees which are hard to specialise
• Jensen's ⃞ principles and the Novák number of partially ordered sets
• Set Theory
• Putting a diamond inside the square
• Guessing clubs in the generalized club filter
• Ascending paths and forcings that specialize higher Aronszajn trees
• Souslin's Conjecture
• Embedding Trees in the Rationals
• The fine structure of the constructible hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Sur un problème de Sikorski