Archives
Keywords
AIM forcing Prikry-type forcing Slim tree b-scale Chang's conjecture Generalized Clubs Cohen real approachability ideal weak diamond stationary hitting sap O-space Closed coloring very good scale Large Cardinals Forcing with side conditions Almost Souslin Erdos Cardinal Universal Sequences Club Guessing Foundations Filter reflection Singular Density Almost countably chromatic free Souslin tree Partition relations for trees tensor product graph Commutative projection system Distributive tree Rado's conjecture Nonspecial tree P-Ideal Dichotomy Sakurai's Bell inequality Mandelbrot set Interval topology on trees weak Kurepa tree PFA S-Space Reflecting stationary set Diamond square principles 54G20 unbounded function full tree Almost-disjoint family Ascending path Uniformly homogeneous Strongly Luzin set xbox Cardinal function Ostaszewski square Parameterized proxy principle coloring number specializable Souslin tree perfectly normal Rock n' Roll incompactness Singular cardinals combinatorics Microscopic Approach Postprocessing function Generalized descriptive set theory SNR strongly bounded groups Greatly Mahlo Constructible Universe Shelah's Strong Hypothesis free Boolean algebra Commutative cancellative semigroups Local Club Condensation. Fat stationary set Sigma-Prikry square Prevalent singular cardinals Amenable C-sequence Absoluteness projective Boolean algebra Jonsson cardinal Aronszajn tree Poset Chromatic number regressive Souslin tree Ascent Path Weakly compact cardinal Cardinal Invariants Lipschitz reduction Strong coloring Hereditarily Lindelöf space nonmeager set club_AD Subadditive Respecting tree Minimal Walks Successor of Singular Cardinal Coherent tree Ramsey theory over partitions Luzin set Rainbow sets Intersection model Subtle cardinal weak square HOD transformations Precaliber Whitehead Problem Subtle tree property L-space GMA Partition Relations Well-behaved magma higher Baire space polarized partition relation Uniformization ccc Was Ulam right? Hindman's Theorem OCA Antichain Sierpinski's onto mapping principle Reduced Power Knaster and friends ZFC construction positive partition relation Fodor-type reflection Monotonically far indecomposable filter super-Souslin tree Iterated forcing diamond star C-sequence Small forcing Ulam matrix Vanishing levels Singular cofinality Subnormal ideal Knaster Forcing Erdos-Hajnal graphs Dushnik-Miller Analytic sets Diamond for trees stick Entangled linear order stationary reflection Ineffable cardinal Open Access Fast club Dowker space PFA(S)[S] middle diamond Countryman line Axiom R Forcing Axioms Martin's Axiom Kurepa Hypothesis Uniformly coherent reflection principles Successor of Regular Cardinal Strongly compact cardinal Hedetniemi's conjecture Square-Brackets Partition Relations Selective Ultrafilter countably metacompact Souslin Tree Diamond-sharp Non-saturation
Category Archives: Publications
On the consistency strength of the Milner-Sauer conjecture
Abstract: In their paper from 1981, Milner and Sauer conjectured that for any poset $\mathbb P$, if $\text{cf}(\mathbb P)$ is a singular cardinal $\lambda$, then $\mathbb P$ must contain an antichain of size $\text{cf}(\lambda)$. The conjecture is consistent and known … 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
Antichains in partially ordered sets of singular cofinality
Abstract: In their paper from 1981, Milner and Sauer conjectured that for any poset $\mathbb P$, if $\text{cf}(\mathbb P)$ is a singular cardinal $\lambda$, then $\mathbb P$ must contain an antichain of size $\text{cf}(\lambda)$. The main result of of this … Continue reading
Posted in Publications, Singular Cardinals Combinatorics
Tagged 03E04, 03E35, 06A07, Antichain, Poset, Singular cofinality
Leave a comment
The Ostaszewski square, and homogeneous Souslin trees
Abstract: Assume GCH and let $\lambda$ denote an uncountable cardinal. We prove that if $\square_\lambda$ holds, then this may be witnessed by a coherent sequence $\left\langle C_\alpha \mid \alpha<\lambda^+\right\rangle$ with the following remarkable guessing property: For every sequence $\langle A_i\mid i<\lambda\rangle$ … Continue reading
Posted in Publications, Souslin Hypothesis, Squares and Diamonds
Tagged 03E05, 03E35, Club Guessing, Fat stationary set, Ostaszewski square, Souslin Tree
5 Comments
