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