Archives
Keywords
Subtle cardinal stationary hitting Fat stationary set Reduced Power Sakurai's Bell inequality Microscopic Approach Dushnik-Miller Partition Relations Rado's conjecture weak square Cohen real Prevalent singular cardinals free Boolean algebra Hereditarily Lindelöf space Postprocessing function free Souslin tree stationary reflection Cardinal function Distributive tree Erdos-Hajnal graphs Small forcing square Countryman line Almost countably chromatic Weakly compact cardinal coloring number Foundations Precaliber approachability ideal Kurepa Hypothesis Parameterized proxy principle Absoluteness Ostaszewski square Shelah's Strong Hypothesis positive partition relation Interval topology on trees Forcing with side conditions weak Kurepa tree Non-saturation Intersection model projective Boolean algebra Subtle tree property Erdos Cardinal HOD Generalized Clubs Singular cardinals combinatorics P-Ideal Dichotomy Successor of Singular Cardinal transformations Diamond for trees Selective Ultrafilter polarized partition relation OCA Iterated forcing nonmeager set Forcing Singular cofinality Hedetniemi's conjecture Uniformly homogeneous Ramsey theory over partitions Commutative projection system Large Cardinals Diamond specializable Souslin tree Vanishing levels Monotonically far Universal Sequences Diamond-sharp countably metacompact Subadditive Respecting tree PFA perfectly normal L-space Local Club Condensation. Cardinal Invariants Fast club Singular Density Rock n' Roll Ascending path regressive Souslin tree ZFC construction higher Baire space Reflecting stationary set Knaster Axiom R Minimal Walks Club Guessing full tree Poset stick Aronszajn tree Luzin set super-Souslin tree Sierpinski's onto mapping principle Was Ulam right? Strongly Luzin set Sigma-Prikry Strongly compact cardinal Uniformization Filter reflection Prikry-type forcing indecomposable filter Partition relations for trees Ulam matrix Closed coloring PFA(S)[S] tensor product graph Successor of Regular Cardinal Well-behaved magma Coherent tree Forcing Axioms Ineffable cardinal reflection principles diamond star AIM forcing Fodor-type reflection Knaster and friends O-space middle diamond Subnormal ideal b-scale Souslin Tree Commutative cancellative semigroups Jonsson cardinal Lipschitz reduction 54G20 Mandelbrot set Strong coloring Almost-disjoint family Constructible Universe Antichain Slim tree square principles Hindman's Theorem Ascent Path Rainbow sets Martin's Axiom Nonspecial tree Analytic sets Whitehead Problem Amenable C-sequence sap Greatly Mahlo Chromatic number unbounded function very good scale strongly bounded groups S-Space GMA Open Access Entangled linear order Square-Brackets Partition Relations C-sequence Almost Souslin xbox Uniformly coherent Chang's conjecture club_AD incompactness weak diamond SNR Generalized descriptive set theory Dowker space ccc
Blog Archives
Fake Reflection
Joint work with Gabriel Fernandes and Miguel Moreno. Abstract. We introduce a generalization of stationary set reflection which we call filter reflection, and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We … Continue reading
Inclusion modulo nonstationary
Joint work with Gabriel Fernandes and Miguel Moreno. Abstract. A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset $\mathbb P$ with no maximal element, there is a ccc forcing … Continue reading
