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