Archives
Keywords
square principles Countryman line Weakly compact cardinal Strongly Luzin set reflection principles 54G20 Cardinal Invariants stationary reflection Minimal Walks Commutative cancellative semigroups Uniformly homogeneous transformations Ulam matrix Forcing Universal Sequences AIM forcing Closed coloring weak square Kurepa Hypothesis Hedetniemi's conjecture b-scale Foundations Sakurai's Bell inequality HOD Subtle tree property Subtle cardinal unbounded function Ramsey theory over partitions Souslin Tree Ascending path Amenable C-sequence Open Access Was Ulam right? Dowker space Filter reflection S-Space specializable Souslin tree free Souslin tree Axiom R Absoluteness Microscopic Approach C-sequence free Boolean algebra incompactness Strongly compact cardinal Luzin set Club Guessing stick Parameterized proxy principle Knaster Whitehead Problem weak Kurepa tree Selective Ultrafilter Rado's conjecture Local Club Condensation. Diamond for trees Nonspecial tree square Martin's Axiom PFA Postprocessing function perfectly normal Poset Ascent Path full tree ZFC construction Commutative projection system coloring number Antichain super-Souslin tree projective Boolean algebra Coherent tree Generalized Clubs polarized partition relation approachability ideal Ostaszewski square Vanishing levels nonmeager set Constructible Universe Shelah's Strong Hypothesis Cardinal function Subnormal ideal Jonsson cardinal Small forcing Sierpinski's onto mapping principle Square-Brackets Partition Relations Lipschitz reduction Ineffable cardinal OCA club_AD regressive Souslin tree Almost-disjoint family Mandelbrot set higher Baire space GMA P-Ideal Dichotomy xbox Entangled linear order Partition Relations Analytic sets Cohen real weak diamond sap Erdos Cardinal Distributive tree Prikry-type forcing Erdos-Hajnal graphs Intersection model Fodor-type reflection Monotonically far Greatly Mahlo Hereditarily Lindelöf space strongly bounded groups Strong coloring Rock n' Roll Iterated forcing Sigma-Prikry Rainbow sets PFA(S)[S] Chang's conjecture Singular cofinality Reflecting stationary set Singular Density Fat stationary set Chromatic number diamond star Almost countably chromatic positive partition relation Uniformization countably metacompact stationary hitting Almost Souslin Knaster and friends tensor product graph Singular cardinals combinatorics O-space Precaliber Large Cardinals Respecting tree SNR Fast club middle diamond Hindman's Theorem Prevalent singular cardinals very good scale Partition relations for trees Successor of Regular Cardinal Well-behaved magma Slim tree Non-saturation Dushnik-Miller indecomposable filter Successor of Singular Cardinal Forcing with side conditions Subadditive Generalized descriptive set theory Uniformly coherent ccc Reduced Power Diamond Aronszajn tree Diamond-sharp Forcing Axioms L-space Interval topology on trees
Category Archives: Souslin Hypothesis
Higher Souslin trees and the GCH, revisited
Abstract. It is proved that for every uncountable cardinal $\lambda$, GCH+$\square(\lambda^+)$ entails the existence of a $\text{cf}(\lambda)$-complete $\lambda^+$-Souslin tree. In particular, if GCH holds and there are no $\aleph_2$-Souslin trees, then $\aleph_2$ is weakly compact in Godel’s constructible universe, improving … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, Open Access, regressive Souslin tree, Souslin Tree, square, Weakly compact cardinal, xbox
16 Comments
A microscopic approach to Souslin-tree constructions. Part I
Joint work with Ari Meir Brodsky. Abstract. We propose a parameterized proxy principle from which $\kappa$-Souslin trees with various additional features can be constructed, regardless of the identity of $\kappa$. We then introduce the microscopic approach, which is a simple … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E65, 05C05, Coherent tree, Diamond, Microscopic Approach, Parameterized proxy principle, Slim tree, Souslin Tree, square, xbox
5 Comments
Reduced powers of Souslin trees
Joint work with Ari Meir Brodsky. Abstract. We study the relationship between a $\kappa$-Souslin tree $T$ and its reduced powers $T^\theta/\mathcal U$. Previous works addressed this problem from the viewpoint of a single power $\theta$, whereas here, tools are developed … Continue reading
On guessing generalized clubs at the successors of regulars
Abstract: Konig, Larson and Yoshinobu initiated the study of principles for guessing generalized clubs, and introduced a construction of an higher Souslin tree from the strong guessing principle. Complementary to the author’s work on the validity of diamond and non-saturation … Continue reading
The Ostaszewski square, and homogeneous Souslin trees
Abstract: Assume GCH and let $\lambda$ denote an uncountable cardinal. We prove that if $\square_\lambda$ holds, then this may be witnessed by a coherent sequence $\left\langle C_\alpha \mid \alpha<\lambda^+\right\rangle$ with the following remarkable guessing property: For every sequence $\langle A_i\mid i<\lambda\rangle$ … Continue reading
Posted in Publications, Souslin Hypothesis, Squares and Diamonds
Tagged 03E05, 03E35, Club Guessing, Fat stationary set, Ostaszewski square, Souslin Tree
5 Comments
