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