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