Archives
Keywords
Iterated forcing Kurepa Hypothesis Chromatic number Aronszajn tree xbox sap Postprocessing function free Boolean algebra Singular Density Selective Ultrafilter Poset Universal Sequences Minimal Walks Ramsey theory over partitions Forcing Axioms indecomposable filter Open Access diamond star Entangled linear order 54G20 Coherent tree nonmeager set Ascent Path Forcing with side conditions Filter reflection Rainbow sets ZFC construction Partition Relations Strongly Luzin set Ineffable cardinal Almost Souslin strongly bounded groups Luzin set Subtle cardinal transformations free Souslin tree PFA(S)[S] Diamond-sharp Constructible Universe HOD OCA Microscopic Approach Square-Brackets Partition Relations Erdos-Hajnal graphs Uniformly coherent Hereditarily Lindelöf space Dushnik-Miller Mandelbrot set Weakly compact cardinal Almost countably chromatic Chang's conjecture reflection principles PFA ccc Hedetniemi's conjecture Rock n' Roll weak Kurepa tree Local Club Condensation. middle diamond positive partition relation Prikry-type forcing polarized partition relation Was Ulam right? SNR Absoluteness Subadditive Small forcing Uniformization super-Souslin tree Countryman line tensor product graph Precaliber Lipschitz reduction Fodor-type reflection Generalized descriptive set theory full tree Sakurai's Bell inequality Forcing GMA Reduced Power Greatly Mahlo Hindman's Theorem O-space coloring number Jonsson cardinal Uniformly homogeneous perfectly normal Diamond L-space Diamond for trees Large Cardinals Knaster and friends Foundations stationary hitting Sierpinski's onto mapping principle higher Baire space Cardinal function Closed coloring square principles Amenable C-sequence Ascending path Respecting tree Reflecting stationary set Shelah's Strong Hypothesis Cohen real approachability ideal Successor of Regular Cardinal S-Space Interval topology on trees Partition relations for trees Successor of Singular Cardinal weak diamond Strong coloring stationary reflection Analytic sets AIM forcing Vanishing levels Erdos Cardinal Almost-disjoint family Club Guessing square Commutative cancellative semigroups Intersection model incompactness C-sequence projective Boolean algebra Souslin Tree very good scale Distributive tree Generalized Clubs P-Ideal Dichotomy unbounded function Subtle tree property weak square Martin's Axiom countably metacompact Prevalent singular cardinals Nonspecial tree Singular cofinality Knaster specializable Souslin tree Antichain Commutative projection system Cardinal Invariants Parameterized proxy principle Singular cardinals combinatorics Sigma-Prikry Whitehead Problem Monotonically far Dowker space Strongly compact cardinal b-scale Slim tree Subnormal ideal Ulam matrix Axiom R Fat stationary set Non-saturation Fast club Rado's conjecture Ostaszewski square regressive Souslin tree Well-behaved magma club_AD stick
Tag Archives: Square-Brackets Partition Relations
Sums of triples in Abelian groups
Joint work with Ido Feldman. Abstract. Motivated by a problem in additive Ramsey theory, we extend Todorcevic’s partitions of three-dimensional combinatorial cubes to handle additional three-dimensional objects. As a corollary, we get that if the continuum hypothesis fails, then for … Continue reading
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
Transformations of the transfinite plane
Joint work with Jing Zhang. Abstract. We study the existence of transformations of the transfinite plane that allow one to reduce Ramsey-theoretic statements concerning uncountable Abelian groups into classical partition relations for uncountable cardinals. To exemplify: we prove that for every … Continue reading
6th European Set Theory Conference, July 2017
I gave a 3-lecture tutorial at the 6th European Set Theory Conference in Budapest, July 2017. Title: Strong colorings and their applications. Abstract. Consider the following questions. Is the product of two $\kappa$-cc partial orders again $\kappa$-cc? Does there exist … Continue reading
Posted in Invited Talks, Open Problems
Tagged b-scale, Cohen real, Luzin set, Minimal Walks, Souslin Tree, Square-Brackets Partition Relations
4 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
Prolific Souslin trees
In a paper from 1971, Erdos and Hajnal asked whether (assuming CH) every coloring witnessing $\aleph_1\nrightarrow[\aleph_1]^2_3$ has a rainbow triangle. The negative solution was given in a 1975 paper by Shelah, and the proof and relevant definitions may be found … Continue reading
Posted in Blog, Expository
Tagged Rainbow sets, Souslin Tree, Square-Brackets Partition Relations
Leave a comment
Complicated colorings
Abstract. If $\lambda,\kappa$ are regular cardinals, $\lambda>\kappa^+$, and $E^\lambda_{\ge\kappa}$ admits a nonreflecting stationary set, then $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ holds. (Recall that $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ asserts the existence of a coloring $d:[\lambda]^2\rightarrow\lambda$ such that for any family $\mathcal A\subseteq[\lambda]^{<\kappa}$ of size $\lambda$, consisting of pairwise … Continue reading
Posted in Partition Relations, Publications
Tagged Minimal Walks, Open Access, Square-Brackets Partition Relations
2 Comments
MFO workshop in Set Theory, January 2014
I gave an invited talk at the Set Theory workshop in Obwerwolfach, January 2014. Talk Title: Complicated Colorings. Abstract: If $\lambda,\kappa$ are regular cardinals, $\lambda>\kappa^+$, and $E^{\lambda}_{\ge\kappa}$ admits a nonreflecting stationary set, then $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ holds. Downloads:
Rectangular square-bracket operation for successor of regular cardinals
Joint work with Stevo Todorcevic. Extended Abstract: Consider the coloring statement $\lambda^+\nrightarrow[\lambda^+;\lambda^+]^2_{\lambda^+}$ for a given regular cardinal $\lambda$: In 1990, Shelah proved the above for $\lambda>2^{\aleph_0}$; In 1991, Shelah proved the above for $\lambda>\aleph_1$; In 1997, Shelah proved the above … Continue reading
Comparing rectangles with squares through rainbow sets
In Todorcevic’s class last week, he proved all the results of Chapter 8 from his Walks on Ordinals book, up to (and including) Theorem 8.1.11. The upshots are as follows: Every regular infinite cardinal $\theta$ admits a naturally defined function … Continue reading