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