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