Archives
Keywords
Jonsson cardinal HOD S-Space xbox Square-Brackets Partition Relations Shelah's Strong Hypothesis Well-behaved magma Rainbow sets b-scale coloring number Cohen real Singular Density Lipschitz reduction Subtle cardinal Prevalent singular cardinals Singular cofinality Forcing Axioms Erdos Cardinal OCA Axiom R approachability ideal Reflecting stationary set Iterated forcing Sakurai's Bell inequality Luzin set countably metacompact weak square Nonspecial tree Dowker space Fat stationary set Ramsey theory over partitions Hedetniemi's conjecture transformations O-space Was Ulam right Ulam matrix Rock n' Roll Filter reflection Constructible Universe unbounded function Large Cardinals stick Diamond-sharp square Forcing Slim tree ccc SNR reflection principles Aronszajn tree Open Access Microscopic Approach 54G20 Subadditive Uniformly coherent Whitehead Problem Successor of Singular Cardinal Postprocessing function Parameterized proxy principle Non-saturation Souslin Tree AIM forcing GMA Partition Relations very good scale Generalized Clubs Ineffable cardinal Prikry-type forcing club_AD stationary hitting Reduced Power Singular cardinals combinatorics Chromatic number diamond star PFA(S)[S] free Boolean algebra Subtle tree property middle diamond regressive Souslin tree Diamond for trees Sierpinski's onto mapping principle stationary reflection Club Guessing Cardinal function Foundations P-Ideal Dichotomy Mandelbrot set Uniformization Knaster and friends Hereditarily Lindelöf space ZFC construction indecomposable ultrafilter Poset Analytic sets Erdos-Hajnal graphs Coherent tree Sigma-Prikry square principles sap Martin's Axiom super-Souslin tree Kurepa Hypothesis projective Boolean algebra Generalized descriptive set theory Distributive tree Weakly compact cardinal polarized partition relation Hindman's Theorem Cardinal Invariants incompactness Strong coloring Local Club Condensation. Rado's conjecture Selective Ultrafilter Diamond Closed coloring Minimal Walks Almost-disjoint family Ascent Path Small forcing Precaliber Knaster weak diamond Universal Sequences Fast club Greatly Mahlo Chang's conjecture higher Baire space strongly bounded groups Antichain Commutative cancellative semigroups specializable Souslin tree Amenable C-sequence Successor of Regular Cardinal nonmeager set Dushnik-Miller Almost countably chromatic free Souslin tree PFA C-sequence Vanishing levels tensor product graph L-space Strongly Luzin set Absoluteness Fodor-type reflection full tree Uniformly homogeneous Ostaszewski square Subnormal ideal Almost Souslin positive partition relation
Tag Archives: xbox
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
Strongest transformations
Joint work with Jing Zhang. Abstract. We continue our study of maps transforming high-dimensional complicated objects into squares of stationary sets. Previously, we proved that many such transformations exist in ZFC, and here we address the consistency of the strongest … Continue reading
Posted in Partition Relations, Publications
Tagged Diamond, Minimal Walks, square, Square-Brackets Partition Relations, stick, transformations, xbox
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
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
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
Square with built-in diamond-plus
Joint work with Ralf Schindler. Abstract. We formulate combinatorial principles that combine the square principle with various strong forms of diamond, and prove that the strongest amongst them holds in $L$ for every infinite cardinal. As an application, we prove that … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E45, Almost Souslin, diamond star, Kurepa Hypothesis, Minimal Walks, square, xbox
1 Comment
Square principles
Since the birth of Jensen’s original Square principle, many variations of the principle were introduced and intensively studied. Asaf Karagila suggested me today to put some order into all of these principles. Here is a trial. Definition. A square principle … Continue reading