Archives
Keywords
AIM forcing Almost-disjoint family indecomposable filter Rainbow sets Forcing with side conditions Closed coloring Absoluteness Uniformly coherent specializable Souslin tree Souslin Tree Iterated forcing Singular cardinals combinatorics Kurepa Hypothesis full tree Interval topology on trees b-scale Chromatic number Constructible Universe Cardinal Invariants Commutative cancellative semigroups Open Access Minimal Walks Ascent Path Fast club Singular Density Sierpinski's onto mapping principle Hereditarily Lindelöf space Diamond-sharp stick higher Baire space Diamond for trees unbounded function Sigma-Prikry S-Space diamond star Commutative projection system Generalized descriptive set theory Reflecting stationary set weak Kurepa tree SNR xbox Partition relations for trees Square-Brackets Partition Relations projective Boolean algebra free Boolean algebra Vanishing levels 54G20 Antichain Whitehead Problem Strongly compact cardinal Monotonically far Ostaszewski square transformations Subtle tree property Rock n' Roll Selective Ultrafilter club_AD C-sequence Universal Sequences Intersection model sap reflection principles countably metacompact Erdos-Hajnal graphs Parameterized proxy principle nonmeager set Was Ulam right? Prikry-type forcing Greatly Mahlo L-space Axiom R Subtle cardinal O-space HOD stationary hitting Hedetniemi's conjecture Poset Almost countably chromatic OCA Dowker space Ramsey theory over partitions regressive Souslin tree Microscopic Approach Aronszajn tree GMA Filter reflection Cardinal function square principles Successor of Singular Cardinal Hindman's Theorem Martin's Axiom Large Cardinals perfectly normal Distributive tree Small forcing coloring number strongly bounded groups Sakurai's Bell inequality Successor of Regular Cardinal Non-saturation Singular cofinality Diamond Dushnik-Miller Erdos Cardinal Analytic sets Jonsson cardinal Precaliber weak diamond PFA(S)[S] Well-behaved magma Reduced Power Amenable C-sequence Chang's conjecture Ulam matrix Forcing Axioms Respecting tree Subnormal ideal Shelah's Strong Hypothesis Partition Relations Strong coloring approachability ideal Mandelbrot set Coherent tree positive partition relation Prevalent singular cardinals Weakly compact cardinal Almost Souslin Fat stationary set Ascending path Cohen real Rado's conjecture Nonspecial tree Countryman line P-Ideal Dichotomy Knaster and friends Fodor-type reflection Forcing Entangled linear order Local Club Condensation. Knaster free Souslin tree Luzin set Postprocessing function Club Guessing Lipschitz reduction Strongly Luzin set weak square Generalized Clubs ZFC construction middle diamond Uniformly homogeneous incompactness Foundations Ineffable cardinal PFA Uniformization tensor product graph very good scale super-Souslin tree square ccc Slim tree stationary reflection polarized partition relation Subadditive
Tag Archives: transformations
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
Transforming rectangles into squares, with applications to strong colorings
Abstract: It is proved that every singular cardinal $\lambda$ admits a function $\textbf{rts}:[\lambda^+]^2\rightarrow[\lambda^+]^2$ that transforms rectangles into squares. That is, whenever $A,B$ are cofinal subsets of $\lambda^+$, we have $\textbf{rts}[A\circledast B]\supseteq C\circledast C$, for some cofinal subset $C\subseteq\lambda^+$. As a … Continue reading
