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