Archives
Keywords
Dushnik-Miller Fat stationary set AIM forcing Poset Martin's Axiom PFA(S)[S] Strong coloring Respecting tree Subtle cardinal Generalized Clubs b-scale Strongly compact cardinal Rado's conjecture square square principles Ostaszewski square full tree Hindman's Theorem Rock n' Roll Universal Sequences Aronszajn tree Club Guessing Non-saturation 54G20 Precaliber strongly bounded groups Reflecting stationary set Parameterized proxy principle Iterated forcing ccc HOD Kurepa Hypothesis very good scale Uniformly coherent Amenable C-sequence Knaster Almost-disjoint family Mandelbrot set polarized partition relation Weakly compact cardinal Shelah's Strong Hypothesis Coherent tree Commutative projection system Erdos-Hajnal graphs Commutative cancellative semigroups diamond star Sakurai's Bell inequality Uniformly homogeneous Ascent Path coloring number free Boolean algebra C-sequence SNR Almost Souslin Prevalent singular cardinals club_AD Sigma-Prikry Erdos Cardinal incompactness L-space stationary reflection Subadditive Large Cardinals Microscopic Approach stationary hitting S-Space Luzin set Greatly Mahlo Whitehead Problem Well-behaved magma Reduced Power Square-Brackets Partition Relations Selective Ultrafilter Local Club Condensation. Almost countably chromatic Minimal Walks Ascending path Interval topology on trees weak square Slim tree Countryman line free Souslin tree Knaster and friends Singular cofinality Successor of Singular Cardinal Cohen real Distributive tree Diamond for trees OCA PFA Hedetniemi's conjecture Foundations GMA Singular cardinals combinatorics countably metacompact reflection principles Souslin Tree tensor product graph middle diamond weak Kurepa tree Intersection model nonmeager set specializable Souslin tree Was Ulam right? Ulam matrix positive partition relation Chang's conjecture Partition Relations weak diamond regressive Souslin tree Successor of Regular Cardinal Analytic sets projective Boolean algebra xbox Subtle tree property Diamond-sharp Small forcing Sierpinski's onto mapping principle P-Ideal Dichotomy unbounded function Diamond Forcing approachability ideal Subnormal ideal transformations Cardinal function Constructible Universe Postprocessing function Closed coloring Generalized descriptive set theory higher Baire space Antichain O-space Singular Density Rainbow sets Jonsson cardinal Cardinal Invariants Entangled linear order Ineffable cardinal Ramsey theory over partitions ZFC construction Fodor-type reflection Fast club Lipschitz reduction indecomposable filter Nonspecial tree sap Dowker space Vanishing levels Axiom R stick Filter reflection Absoluteness Forcing Axioms Uniformization Monotonically far Forcing with side conditions Chromatic number Partition relations for trees Strongly Luzin set Open Access perfectly normal Hereditarily Lindelöf space Prikry-type forcing super-Souslin tree
Category Archives: Publications
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
Weak square and stationary reflection
Joint work with Gunter Fuchs. Abstract. It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if $\mu^{cf(\lambda)}<\lambda$ for all $\mu<\lambda$, … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, stationary reflection, weak square
Leave a comment
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
Distributive Aronszajn trees
Joint work with Ari Meir Brodsky. Abstract. Ben-David and Shelah proved that if $\lambda$ is a singular strong-limit cardinal and $2^\lambda=\lambda^+$, then $\square^*_\lambda$ entails the existence of a $\lambda$-distributive $\lambda^+$-Aronszajn tree. Here, it is proved that the same conclusion remains … Continue reading
The eightfold way
Joint work with James Cummings, Sy-David Friedman, Menachem Magidor, and Dima Sinapova. Abstract. Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing … Continue reading
Reflection on the coloring and chromatic numbers
Joint work with Chris Lambie-Hanson. Abstract. We prove that reflection of the coloring number of graphs is consistent with non-reflection of the chromatic number. Moreover, it is proved that incompactness for the chromatic number of graphs (with arbitrarily large gaps) … Continue reading
Posted in Compactness, Infinite Graphs, Publications
Tagged 03E35, 05C15, 05C63, Chang's conjecture, Chromatic number, coloring number, Fodor-type reflection, incompactness, Iterated forcing, Parameterized proxy principle, Postprocessing function, Rado's conjecture, square, stationary reflection
2 Comments
Strong failures of higher analogs of Hindman’s Theorem
Joint work with David J. Fernández Bretón. Abstract. We show that various analogs of Hindman’s Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1. There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that … Continue reading
Posted in Groups, Partition Relations, Publications
Tagged 03E02, 03E35, 03E75, 05A17, 05D10, 11P99, 20M14, Chang's conjecture, Commutative cancellative semigroups, Entangled linear order, Erdos Cardinal, Hindman's Theorem, Jonsson cardinal, Kurepa Hypothesis, Square-Brackets Partition Relations, Weakly compact cardinal, ZFC construction
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
Ordinal definable subsets of singular cardinals
Joint work with James Cummings, Sy-David Friedman, Menachem Magidor, and Dima Sinapova. Abstract. A remarkable result by Shelah states that if $\kappa$ is a singular strong limit cardinal of uncountable cofinality then there is a subset $x$ of $\kappa$ such … 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
