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