# In the topos-theoretic interpretation of Physics by Isham & Doering what role does intuitionistic logic play? [closed]

• The types in the internal logic of a Bohr topos (ncatlab.org/nlab/show/Bohr%20topos) associated with a $C^\ast$-algebra are the "presheaves on classical contexts", hence all things that can be "probed" by commuting subalgebras of the given $C^\ast$-algebra of quantum operators. This is, so far, a proposal only for how to formulate phase spaces of quantum states in topos theory. For a synthetic formulation of quantum field theory comprehensively in higher toposes see ncatlab.org/schreiber/show/Synthetic+Quantum+Field+Theory – Urs Schreiber Aug 26 '13 at 7:08