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