Representations of empirical set theories (Q1330094)

Any manual \({\mathfrak M}\) of Boolean locales in the strong sense, namely a subcategory of the opposite category \({\mathfrak B Loc}\) of the category \({\mathfrak Bool}\) of complete Boolean algebras and complete Boolean homomorphisms satisfying not only conditions (3.1)-(3.10) of our previous paper [Int. J. Theor. Phys. 32, 1293-1321 (1993; Zbl 0779.03020)], but also conditions (4.1)--(4.4) of that paper, is shown to be representable as the second-class orthomodular manual \({\mathfrak M}_{[{\mathfrak Q}]}\) of Boolean locales on an orthomodular poset \({\mathfrak Q}\). In this sense the study of manuals of Boolean locales in the strong sense is tantamount to the study of a special class of orthomodular posets, though our viewpoint is radically different from the conventional one in the traditional approach to orthomodular posets. Then the notion of a manual of Hilbert spaces or exactly what is called a manual of Hilbert locales is introduced, over which a variant of the celebrated Gelfand-Naimark-Segal theorem for a manual of Boolean locales in the strong sense is established.