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