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