Effective quantum observables

  title={Effective quantum observables},
  author={Norbert Brunner and Karl Svozil and Matthias Baaz},
  journal={Il Nuovo Cimento B (1971-1996)},
SummaryWe construct a quantum-theoretic formalism which is meaningful also in the absence of the axiom of choice. In terms of the standard formalism the observables correspond to the intrinsically effective Hamiltonians. Here a self-adjoint operator is intrinsically effective iff the Schrödinger equation of its generated semigroup is soluble by means of eigenfunction series expansions. As an application we investigate quantum theory in models of set theory, where the axiom of choice is violated… 
The Baire Category Property and Some Notions of Compactness
We work in set theory without the axiom of choice: ZF. We show that the axiom BC: Compact Hausdorff spaces are Baire, is equivalent to the following axiom: Every tree has a subtree whose levels are
Arrow's Theorem, Weglorz' Models and the Axiom of Choice
There is a reasonable, nondictatorial social welfare function satisfying "finite discrimination", if and only if in Weglorz' model there is a free ultrafilter on a set representing the individuals.
Choice principles in Węglorz’ models
Węglorz’ models are models for set theory without the axiom of choice. Each one is determined by an atomic Boolean algebra. Here the algebraic properties of the Boolean algebra are compared to the
Choice principles in Węglorz’ models


Logical Structures Arising in Quantum Theory
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
Quantum Theory: Concepts and Methods
Preface. Part I: Gathering the Tools. 1. Introduction to Quantum Physics. 2. Quantum Tests. 3. Complex Vector Space. 4. Continuous Variables. Part II: Cryptodeterminism and Quantum Inseparability. 5.
Philosophy of quantum mechanics
In the recent literature the use of the term “Philosophy of Quantum Mechanics” is very similar to that of the corresponding term “Philosophy of Mathematics”. Its denotation includes a vast class of
The Problem of Hidden Variables in Quantum Mechanics
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
On the Problem of Hidden Variables in Quantum Mechanics
The demonstrations of von Neumann and others, that quantum mechanics does not permit a hidden variable interpretation, are reconsidered. It is shown that their essential axioms are unreasonable. It
Models of Zermelo Frankel set theory as carriers for the mathematics of physics. II
This paper continues the study of the use of different models of ZF set theory as carriers for the mathematics of quantum mechanics. The basic tool used here is the construction of Cohen extensions
Experimental realization of any discrete unitary operator.
An algorithmic proof that any discrete finite-dimensional unitary operator can be constructed in the laboratory using optical devices is given, and optical experiments with any type of radiation exploring higher-dimensional discrete quantum systems become feasible.
Computability in analysis and physics
This book represents the first treatment of computable analysis at the graduate level within the tradition of classical mathematical reasoning and is sufficiently detailed to provide an introduction to research in this area.
About the Axiom of Choice