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