### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014

### Keywords

very good scale S-Space Cohen real Club Guessing Successor of Regular Cardinal Martin's Axiom diamond star Weakly compact cardinal Cardinal function Coherent tree xbox ccc Uniformly coherent middle diamond approachability ideal P-Ideal Dichotomy Mandelbrot set Erdos-Hajnal graphs Luzin set PFA Selective Ultrafilter Hedetniemi's conjecture stationary hitting HOD Rainbow sets Prevalent singular cardinals Poset Almost Souslin super-Souslin tree Souslin Tree Antichain Stevo Todorcevic Forcing Fodor-type reflection Universal Sequences Reduced Power Minimal Walks Singular cardinals combinatorics square principles free Boolean algebra OCA weak square Singular Density Chang's conjecture Absoluteness Erdos Cardinal Axiom R L-space Non-saturation Fat stationary set PFA(S)[S] Jonsson cardinal 05A17 Constructible Universe Prikry-type forcing Uniformization Shelah's Strong Hypothesis Fast club Dushnik-Miller Ostaszewski square Postprocessing function Square-Brackets Partition Relations Microscopic Approach Cardinal Invariants free Souslin tree tensor product graph Chromatic number Ascent Path b-scale Hereditarily Lindelöf space stationary reflection Diamond Distributive tree Slim tree Hindman's Theorem incompactness weak diamond Commutative cancellative semigroups coloring number Sakurai's Bell inequality Nonspecial tree polarized partition relation Successor of Singular Cardinal Almost-disjoint famiy Aronszajn tree Foundations Kurepa Hypothesis Rado's conjecture Small forcing specializable Souslin tree Knaster projective Boolean algebra reflection principles Singular coﬁnality Whitehead Problem Partition Relations Almost countably chromatic square Rock n' Roll sap Generalized Clubs Parameterized proxy principle Forcing Axioms 11P99 Large Cardinals

# 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