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