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