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