Forty years after the advent of quantum mechanics the problem of hidden variables, that is, the possibility of imbedding quantum theory into a classical theory, remains a controversial and obscure… Expand

On the basis of three physical axioms, we prove that if the choice of a particular type of spin 1 experiment is not a function of the information accessible to the experimenters, then its outcome is… Expand

We strengthen "The Free Will Theorem" [1] in several ways, by replacing the axiom FIN by a weaker axiom MIN, and also by allowing the particles' responses to depend on past half-spaces rather than on… Expand

It is often desirable to find the probability that for a given sequence E, E, of events n infinite number of E occur. If the E re independent events, then by the Borel-Cntelli lemma this probability… Expand

The logical structures studied in this paper are generalizations of the propositional calculus. The classical propositional calculus is essentially Boolean algebra or, alternatively, the theory of… Expand

We show that exactly the same intuitively plausible definitions of state, observable, symmetry, dynamics, and compound systems of the classical Boolean structure of intrinsic properties of systems… Expand

In [3] we gave a complete set of elementary axioms for the valued field of p-adic numbers. In this paper we show how the valued field F((t)) of formal power series over a field F (of characteristic… Expand

In this paper we shall study an algebraic construction which has become a powerful new tool in the theory of models.1 This construction, called the ultraproduct operation', was first described in Los… Expand