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