### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014

### Keywords

Erdos-Hajnal graphs free Boolean algebra PFA Minimal Walks Weakly compact cardinal Luzin set Fat stationary set coloring number Partition Relations weak diamond Generalized Clubs S-Space Successor of Singular Cardinal P-Ideal Dichotomy approachability ideal Chromatic number Non-saturation Hindman's Theorem b-scale Fast club Knaster Prikry-type forcing Antichain Mandelbrot set Microscopic Approach Slim tree Singular coﬁnality Poset Martin's Axiom Jonsson cardinal Forcing Axioms Aronszajn tree Large Cardinals Shelah's Strong Hypothesis Almost-disjoint famiy weak square Chang's conjecture very good scale Selective Ultrafilter specializable Souslin tree Uniformly coherent sap Rock n' Roll tensor product graph Square-Brackets Partition Relations Stevo Todorcevic Kurepa Hypothesis Erdos Cardinal stationary reflection Almost countably chromatic Diamond incompactness Cohen real square middle diamond projective Boolean algebra Commutative cancellative semigroups PFA(S)[S] Reduced Power Hereditarily Lindelöf space Small forcing Distributive tree Forcing Absoluteness Coherent tree Rado's conjecture Cardinal function xbox stationary hitting reflection principles Souslin Tree Fodor-type reflection square principles Rainbow sets diamond star HOD polarized partition relation Successor of Regular Cardinal Whitehead Problem Ascent Path Hedetniemi's conjecture Foundations Cardinal Invariants Singular cardinals combinatorics Nonspecial tree free Souslin tree super-Souslin tree Ostaszewski square Prevalent singular cardinals L-space Dushnik-Miller Uniformization Axiom R Singular Density Constructible Universe Club Guessing Parameterized proxy principle OCA Almost Souslin Sakurai's Bell inequality Postprocessing function Universal Sequences ccc

# 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

Posted in Compactness
Tagged approachability ideal, Aronszajn tree, stationary reflection, Weakly compact cardinal
1 Comment

## 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

## 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

## 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

Posted in Publications, Singular Cardinals Combinatorics
Tagged HOD, Singular cardinals combinatorics
2 Comments

## 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, Souslin Tree, square, Weakly compact cardinal, xbox
16 Comments