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