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