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