Archives
Keywords
Fast club Postprocessing function Club Guessing specializable Souslin tree projective Boolean algebra Whitehead Problem super-Souslin tree Mandelbrot set Subadditive Successor of Singular Cardinal GMA xbox reflection principles Dowker space Absoluteness Sakurai's Bell inequality Foundations Distributive tree stationary reflection AIM forcing PFA(S)[S] C-sequence Local Club Condensation. Uniformization Subtle tree property approachability ideal weak diamond Uniformly homogeneous Jonsson cardinal Closed coloring Kurepa Hypothesis Ulam matrix OCA Ramsey theory over partitions Successor of Regular Cardinal Rainbow sets club_AD Hindman's Theorem regressive Souslin tree HOD Sigma-Prikry nonmeager set Large Cardinals Diamond-sharp Minimal Walks Almost-disjoint family diamond star Chromatic number Diamond for trees Partition Relations Hedetniemi's conjecture Martin's Axiom Amenable C-sequence middle diamond Sierpinski's onto mapping principle Fodor-type reflection Knaster Generalized descriptive set theory Prikry-type forcing Was Ulam right Antichain Erdos Cardinal positive partition relation square principles Lipschitz reduction Cardinal Invariants ccc Uniformly coherent 54G20 higher Baire space S-Space sap Almost countably chromatic full tree Parameterized proxy principle Rado's conjecture Subtle cardinal weak square Reflecting stationary set countably metacompact Knaster and friends free Souslin tree Strongly Luzin set indecomposable ultrafilter Cardinal function b-scale L-space Iterated forcing free Boolean algebra Subnormal ideal strongly bounded groups SNR Aronszajn tree Non-saturation Open Access Hereditarily Lindelöf space Singular cofinality Weakly compact cardinal Reduced Power Erdos-Hajnal graphs Coherent tree Luzin set Commutative cancellative semigroups stationary hitting Constructible Universe Forcing Axiom R Vanishing levels Filter reflection Strong coloring Almost Souslin Microscopic Approach Well-behaved magma Greatly Mahlo Analytic sets Fat stationary set Poset Shelah's Strong Hypothesis Slim tree PFA Precaliber Cohen real Souslin Tree Universal Sequences square Forcing Axioms very good scale incompactness Singular cardinals combinatorics Generalized Clubs Dushnik-Miller polarized partition relation Singular Density Diamond unbounded function coloring number stick O-space Square-Brackets Partition Relations tensor product graph Chang's conjecture Small forcing P-Ideal Dichotomy weak Kurepa tree Ineffable cardinal Rock n' Roll transformations Ascent Path Selective Ultrafilter Ostaszewski square Prevalent singular cardinals Nonspecial tree ZFC construction
Tag Archives: Universal Sequences
Universal binary sequences
Notation. Write $\mathcal Q(A):=\{ a\subseteq A\mid a\text{ is finite}, a\neq\emptyset\}$. Suppose for the moment that we are given a fixed sequence $\langle f_\alpha:\omega\rightarrow2\mid \alpha\in a\rangle$, indexed by some set $a$ of ordinals. Then, for every function $h:a\rightarrow\omega$ and $i<\omega$, we … Continue reading
Syndetic colorings with applications to S and L
Notation. Write $\mathcal Q(A):=\{ a\subseteq A\mid a\text{ is finite}, a\neq\emptyset\}$. Definition. An L-space is a regular hereditarily Lindelöf topological space which is not hereditarily separable. Definition. We say that a coloring $c:[\omega_1]^2\rightarrow\omega$ is L-syndetic if the following holds. For every uncountable … Continue reading