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