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