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