Archives
Keywords
Ineffable cardinal Diamond Hereditarily Lindelöf space PFA(S)[S] indecomposable ultrafilter Lipschitz reduction Subadditive Weakly compact cardinal Rado's conjecture Ascent Path unbounded function Diamond for trees transformations Universal Sequences b-scale Absoluteness Cardinal Invariants higher Baire space reflection principles Vanishing levels Fat stationary set Fast club Dowker space Erdos Cardinal free Boolean algebra Uniformly coherent Axiom R Sakurai's Bell inequality Club Guessing tensor product graph sap Subnormal ideal Generalized descriptive set theory Sigma-Prikry Precaliber Generalized Clubs PFA Closed coloring Rock n' Roll full tree Dushnik-Miller Reduced Power Jonsson cardinal stick club_AD ccc Nonspecial tree 54G20 Chromatic number Whitehead Problem Uniformly homogeneous nonmeager set Fodor-type reflection Minimal Walks Large Cardinals Erdos-Hajnal graphs very good scale Constructible Universe Iterated forcing Hindman's Theorem Subtle cardinal projective Boolean algebra Small forcing AIM forcing diamond star Successor of Singular Cardinal L-space Chang's conjecture xbox Hedetniemi's conjecture incompactness GMA approachability ideal Forcing Axioms Almost countably chromatic Almost-disjoint family Mandelbrot set C-sequence Singular cofinality regressive Souslin tree Successor of Regular Cardinal Commutative cancellative semigroups ZFC construction Coherent tree Analytic sets Filter reflection Poset S-Space Souslin Tree weak diamond Strong coloring P-Ideal Dichotomy polarized partition relation Parameterized proxy principle O-space weak square strongly bounded groups Diamond-sharp Sierpinski's onto mapping principle Amenable C-sequence Cohen real Square-Brackets Partition Relations Greatly Mahlo Selective Ultrafilter Slim tree square Well-behaved magma Partition Relations Microscopic Approach super-Souslin tree Luzin set specializable Souslin tree Knaster Ulam matrix free Souslin tree HOD positive partition relation Distributive tree countably metacompact Open Access Foundations Antichain Shelah's Strong Hypothesis Rainbow sets Strongly Luzin set Singular Density stationary reflection stationary hitting Was Ulam right Martin's Axiom Subtle tree property Ramsey theory over partitions Almost Souslin Ostaszewski square weak Kurepa tree square principles Forcing coloring number Postprocessing function Local Club Condensation. Knaster and friends Prikry-type forcing Cardinal function Reflecting stationary set middle diamond Aronszajn tree OCA Kurepa Hypothesis Singular cardinals combinatorics Prevalent singular cardinals Uniformization SNR Non-saturation
Category Archives: Souslin Hypothesis
Proxy principles in combinatorial set theory
Joint work with Ari Meir Brodsky and Shira Yadai. Abstract. The parameterized proxy principles were introduced by Brodsky and Rinot in a 2017 paper as new foundations for the construction of $\kappa$-Souslin trees in a uniform way that does not … Continue reading
Posted in Preprints, Souslin Hypothesis
Tagged C-sequence, free Souslin tree, Parameterized proxy principle, Souslin Tree, specializable Souslin tree, square principles, xbox
Comments Off on Proxy principles in combinatorial set theory
The vanishing levels of a tree
Joint work with Shira Yadai and Zhixing You. Abstract. We initiate the study of the spectrum $Vspec(\kappa)$ of sets that can be realized as the vanishing levels $V(\mathbf T)$ of a normal $\kappa$-tree $\mathbf T$. The latter is an invariant in … Continue reading
Posted in Preprints, Souslin Hypothesis
Tagged Almost-disjoint family, C-sequence, Coherent tree, Parameterized proxy principle, regressive Souslin tree, Subtle tree property, Uniformly homogeneous, Vanishing levels
Comments Off on The vanishing levels of a tree
Full Souslin trees at small cardinals
Joint work with Shira Yadai and Zhixing You. Abstract. A $\kappa$-tree is full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full $\kappa$-Souslin tree may consistently exist. Shelah gave an affirmative … Continue reading
Posted in Preprints, Souslin Hypothesis
Tagged Diamond for trees, full tree, Greatly Mahlo, Microscopic Approach, Parameterized proxy principle, Subtle cardinal, tensor product graph
Comments Off on Full Souslin trees at small cardinals
On the ideal J[kappa]
Abstract. Motivated by a question from a recent paper by Gilton, Levine and Stejskalova, we obtain a new characterization of the ideal $J[\kappa]$, from which we confirm that $\kappa$-Souslin trees exist in various models of interest. As a corollary we … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged Cardinal Invariants, Cohen real, nonmeager set
1 Comment
A guessing principle from a Souslin tree, with applications to topology
Joint work with Roy Shalev. Abstract. We introduce a new combinatorial principle which we call $\clubsuit_{AD}$. This principle asserts the existence of a certain multi-ladder system with guessing and almost-disjointness features, and is shown to be sufficient for carrying out … Continue reading
Posted in Publications, Souslin Hypothesis, Topology
Tagged club_AD, Dowker space, O-space, regressive Souslin tree, S-Space, Souslin Tree, Vanishing levels
2 Comments
A microscopic approach to Souslin-tree constructions. Part II
Joint work with Ari Meir Brodsky. Abstract. In Part I of this series, we presented the microscopic approach to Souslin-tree constructions, and argued that all known $\diamondsuit$-based constructions of Souslin trees with various additional properties may be rendered as applications of … Continue reading
Souslin trees at successors of regular cardinals
Abstract. We present a weak sufficient condition for the existence of Souslin trees at successor of regular cardinals. The result is optimal and simultaneously improves an old theorem of Gregory and a more recent theorem of the author. Downloads: Citation … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged Parameterized proxy principle, Souslin Tree
1 Comment
A remark on Schimmerling’s question
Joint work with Ari Meir Brodsky. Abstract. Schimmerling asked whether $\square^*_\lambda$ together with GCH entails the existence of a $\lambda^+$-Souslin tree, for a singular cardinal $\lambda$. Here, we provide an affirmative answer under the additional assumption that there exists a … Continue reading
A forcing axiom deciding the generalized Souslin Hypothesis
Joint work with Chris Lambie-Hanson. Abstract. We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
1 Comment
More notions of forcing add a Souslin tree
Joint work with Ari Meir Brodsky. Abstract. An $\aleph_1$-Souslin tree is a complicated combinatorial object whose existence cannot be decided on the grounds of ZFC alone. But 15 years after Tennenbaum and independently Jech devised notions of forcing for introducing … Continue reading