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