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