Hans Halvorson

TL;DR: In this article, it was shown that the observables and state space of a physical theory are quantum-mechanical, and the implications of alternative answers to a remaining open question about nonlocality and bit commitment.

TL;DR: Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools as mentioned in this paper.

TL;DR: It is shown that three fundamental information-theoretic constraints—the impossibility of superluminal information transfer between two physical systems by performing measurements on one of them, the impossibility of broadcasting the information contained in an unknown physical state, and theossibility of unconditionally secure bit commitment—suffice to entail that the observables and state space of a physical theory are quantum-mechanical.

TL;DR: In this article, the authors consider and rebut several objections that have been made against the soundness of Malament's argument, and provide three no-go theorems to counter these objections.

TL;DR: According to the semantic view of scientific theories, theories are classes of models as discussed by the authors, and if taken literally, this view leads to absurdities, in particular, it equates theories that are distinct, and distinguishes theory that are equivalent.