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