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