Archives
Keywords
higher Baire space Was Ulam right positive partition relation Generalized descriptive set theory Knaster Fast club Ramsey theory over partitions Universal Sequences weak diamond Coherent tree Cohen real Strong coloring indecomposable ultrafilter Forcing Erdos Cardinal Kurepa Hypothesis Filter reflection 54G20 Hedetniemi's conjecture Dushnik-Miller Foundations C-sequence Prevalent singular cardinals Slim tree stationary hitting Subtle tree property middle diamond P-Ideal Dichotomy weak square countably metacompact Hindman's Theorem Distributive tree Singular cofinality Aronszajn tree HOD Forcing Axioms square Analytic sets Commutative cancellative semigroups Successor of Regular Cardinal Large Cardinals Local Club Condensation. tensor product graph L-space Luzin set Fat stationary set Well-behaved magma Subtle cardinal Almost-disjoint family Amenable C-sequence weak Kurepa tree Open Access stationary reflection Singular cardinals combinatorics reflection principles Rock n' Roll diamond star Uniformly coherent Ineffable cardinal Almost countably chromatic Constructible Universe Strongly Luzin set Selective Ultrafilter Sakurai's Bell inequality Chang's conjecture Small forcing specializable Souslin tree GMA Rainbow sets SNR Reduced Power Weakly compact cardinal Generalized Clubs Diamond for trees Almost Souslin Subnormal ideal full tree Sierpinski's onto mapping principle ccc Precaliber Whitehead Problem square principles Cardinal function Hereditarily Lindelöf space Microscopic Approach Successor of Singular Cardinal Fodor-type reflection Postprocessing function Closed coloring Uniformization PFA(S)[S] b-scale Greatly Mahlo Lipschitz reduction Subadditive strongly bounded groups Poset Iterated forcing Vanishing levels polarized partition relation Nonspecial tree projective Boolean algebra Prikry-type forcing Mandelbrot set Uniformly homogeneous Partition Relations Antichain ZFC construction Souslin Tree sap Non-saturation Square-Brackets Partition Relations Axiom R Ostaszewski square Club Guessing Ulam matrix Minimal Walks Absoluteness Parameterized proxy principle Diamond-sharp club_AD S-Space Chromatic number Sigma-Prikry super-Souslin tree Erdos-Hajnal graphs AIM forcing Cardinal Invariants Rado's conjecture very good scale xbox OCA incompactness O-space stick Ascent Path Reflecting stationary set unbounded function free Boolean algebra PFA coloring number nonmeager set Dowker space free Souslin tree Martin's Axiom Diamond Jonsson cardinal approachability ideal Shelah's Strong Hypothesis regressive Souslin tree transformations Singular Density Knaster and friends
Tag Archives: Uniformization
Generalizations of Martin’s Axiom and the well-met condition
Recall that Martin’s Axiom asserts that for every partial order $\mathbb P$ satisfying c.c.c., and for any family $\mathcal D$ of $<2^{\aleph_0}$ many dense subsets of $\mathbb P$, there exists a directed subset $G$ of $\mathbb P$ such that $G\cap … Continue reading
The uniformization property for $\aleph_2$
Given a subset of a regular uncountable cardinal $S\subseteq\kappa$, $UP_S$ (read: “the uniformization property holds for $S$”) asserts that for every sequence $\overrightarrow f=\langle f_\alpha\mid \alpha\in S\rangle$ satisfying for all $\alpha\in S$: $f_\alpha$ is a 2-valued function; $\text{dom}(f_\alpha)$ is a … Continue reading
The uniformization property for $\aleph_2$
Given a subset of a regular uncountable cardinal $S\subseteq\kappa$, $UP_S$ (read: “the uniformization property holds for $S$”) asserts that for every sequence $\overrightarrow f=\langle f_\alpha\mid \alpha\in S\rangle$ satisfying for all $\alpha\in S$: $f_\alpha$ is a 2-valued function; $\text{dom}(f_\alpha)$ is a … Continue reading
c.c.c. forcing without combinatorics
In this post, we shall discuss a short paper by Alan Mekler from 1984, concerning a non-combinatorial verification of the c.c.c. property for forcing notions. Recall that a notion of forcing $\mathbb P$ is said to satisfy the c.c.c. iff … Continue reading
Jensen’s diamond principle and its relatives
This is chapter 6 in the book Set Theory and Its Applications (ISBN: 0821848127). Abstract: We survey some recent results on the validity of Jensen’s diamond principle at successor cardinals. We also discuss weakening of this principle such as club … Continue reading
On guessing generalized clubs at the successors of regulars
Abstract: Konig, Larson and Yoshinobu initiated the study of principles for guessing generalized clubs, and introduced a construction of an higher Souslin tree from the strong guessing principle. Complementary to the author’s work on the validity of diamond and non-saturation … Continue reading