(1) Department of Mathematics and Computer Science, University of Antwerp, Antwerp, Belgium
Abstract:
We consider a category of effect algebras and formulate an abstract-hidden variables problem for an object of this category. A notion of indeterministic object is introduced as of an object which induces a Kochen–Specker-type contradiction. A sufficient condition for an object to be indeterministic is derived. An abstract algebraic point of view on a no-hidden variables example constructed by Mermin is given. The notion of a passage to the semiclassical limit is analyzed and refined.