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