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