A sheaf model for intuitionistic quantum mechanics (Q1346410)

The sheaf model discussed is the topos of sheaves on a certain topological space, namely a ``state space'' \(E\) associated to some Hilbert space \(H\). Because of the way \(E\) arises as a space of operators on \(H\), it carries a rich structure, in particular, there is a sheaf of real valued functions on it squeezed in between the sheafs of locally constant, and of all, continuous real valued functions on \(E\). These two may, from the viewpoint of the internal logic of the topos, be seen as the Cauchy real numbers and the Dedekind real numbers, respectively, as is well known. The in-between sheaf is called the ``quantum real numbers''. They are not closed under ordinary multiplication of Dedekind reals, but carry some other algebraic and geometric structure (investigated in particular for the case where \(H\) is two-dimensional). It is argued that response for slit-experiments is describable in terms of response functions with values in these quantum numbers. The advantage of seeing the particular sheaf theory here as intuitionistic set theory is not evident to the reviewer.