Archives
Keywords
Precaliber Reduced Power Amenable C-sequence Strong coloring Hereditarily Lindelöf space stationary reflection countably metacompact polarized partition relation Knaster and friends Subadditive O-space Absoluteness transformations Chang's conjecture stick Shelah's Strong Hypothesis Cardinal Invariants reflection principles Cohen real Universal Sequences Knaster Erdos Cardinal Generalized descriptive set theory C-sequence Greatly Mahlo P-Ideal Dichotomy sap Filter reflection Diamond super-Souslin tree Coherent tree Sakurai's Bell inequality Martin's Axiom Successor of Singular Cardinal Diamond-sharp specializable Souslin tree unbounded function S-Space Prikry-type forcing Minimal Walks nonmeager set Almost countably chromatic coloring number Generalized Clubs Constructible Universe stationary hitting PFA square principles very good scale Iterated forcing Forcing Whitehead Problem ZFC construction Intersection model Erdos-Hajnal graphs club_AD Small forcing middle diamond Almost-disjoint family L-space regressive Souslin tree Prevalent singular cardinals Hindman's Theorem Successor of Regular Cardinal Ramsey theory over partitions Rainbow sets PFA(S)[S] Strongly compact cardinal Weakly compact cardinal Parameterized proxy principle AIM forcing Closed coloring SNR Uniformization strongly bounded groups projective Boolean algebra free Boolean algebra full tree Strongly Luzin set positive partition relation Analytic sets higher Baire space Square-Brackets Partition Relations Rado's conjecture Poset Club Guessing Open Access weak Kurepa tree Singular cardinals combinatorics Vanishing levels Uniformly coherent weak diamond Subnormal ideal Reflecting stationary set Well-behaved magma Dowker space Souslin Tree Partition Relations Non-saturation Rock n' Roll Sierpinski's onto mapping principle Hedetniemi's conjecture Nonspecial tree Fodor-type reflection 54G20 weak square Local Club Condensation. Cardinal function Dushnik-Miller Was Ulam right Forcing Axioms Aronszajn tree tensor product graph Ineffable cardinal Jonsson cardinal Ulam matrix approachability ideal Sigma-Prikry Large Cardinals diamond star Commutative cancellative semigroups Slim tree Subtle tree property Fast club Antichain Mandelbrot set Microscopic Approach Kurepa Hypothesis xbox HOD Singular Density indecomposable ultrafilter b-scale Respecting tree Luzin set Axiom R Commutative projection system Subtle cardinal Distributive tree square incompactness Selective Ultrafilter Foundations Diamond for trees Countryman line Fat stationary set ccc Almost Souslin Uniformly homogeneous OCA Singular cofinality Ascent Path free Souslin tree Postprocessing function Chromatic number Ostaszewski square Lipschitz reduction GMA
Tag Archives: Aronszajn tree
Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
Joint work with Tanmay Inamdar. Abstract. It is proved that if there is an $\aleph_2$-Aronszajn line, then there is one that does not contain an $\aleph_2$-Countryman line. This solves a problem of Moore and stands in a sharp contrast with … Continue reading
11th Young Set Theory Workshop, June 2018
I gave a 4-lecture tutorial at the 11th Young Set Theory Workshop, Lausanne, June 2018. Title: In praise of C-sequences. Abstract. Ulam and Solovay showed that any stationary set may be split into two. Is it also the case that … Continue reading
Posted in Invited Talks
Tagged Aronszajn tree, C-sequence, incompactness, Knaster, Minimal Walks, Postprocessing function, square
Leave a comment
The 14th International Workshop on Set Theory in Luminy, October 2017
I gave an invited talk at the 14th International Workshop on Set Theory in Luminy in Marseille, October 2017. Talk Title: Distributive Aronszajn trees Abstract: It is well-known that that the statement “all $\aleph_1$-Aronszajn trees are special” is consistent with ZFC … Continue reading
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
Chain conditions of products, and weakly compact cardinals
Abstract. The history of productivity of the $\kappa$-chain condition in partial orders, topological spaces, or Boolean algebras is surveyed, and its connection to the set-theoretic notion of a weakly compact cardinal is highlighted. Then, it is proved that for every … Continue reading
Posted in Partition Relations, Publications
Tagged Aronszajn tree, ccc, Fat stationary set, Minimal Walks, square, Weakly compact cardinal
2 Comments
PFA and the tree property at $\aleph_2$
Recall that a poset $\langle T,\le\rangle$ is said to be a $\lambda^+$-Aronszajn tree, if it isomorphic to a poset $(\mathcal T,\subseteq)$ of the form: $\emptyset\in \mathcal T\subseteq{}^{<\lambda^+}\lambda$; Write $\mathcal T_\alpha:=\{\sigma\in\mathcal T\mid \text{dom}(\sigma)=\alpha\}$; for all $\alpha<\lambda^+$, $\mathcal T_\alpha$ has size $\le\lambda$, … Continue reading
A cofinality-preserving small forcing may introduce a special Aronszajn tree
Extended Abstract: Shelah proved that Cohen forcing introduces a Souslin tree; Jensen proved that a c.c.c. forcing may consistently add a Kurepa tree; Todorcevic proved that a Knaster poset may already force the Kurepa hypothesis; Irrgang introduced a c.c.c. notion … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E04, 03E05, 03E35, Aronszajn tree, Small forcing, Successor of Singular Cardinal, weak square
Leave a comment
