Abstract
For \(\Bbb {F}\) the field of real or complex numbers, let \(CG(\Bbb {F})\) be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over \(\Bbb {F}\). Our purpose here is to show the equational theory of \(CG(\Bbb {F})\) is decidable.
Similar content being viewed by others
References
Birkhoff, G. (1967). Lattice theory (Vol. XXV, 3rd ed.). AMS.
Burris, S., & Sankappanavar, H.P. (1981). A course in universal algebra. Graduate texts in mathematics (Vol. 78). New York-Berlin: Springer-Verlag.
Herrmann, C. (2010). On the equational theory of projection lattices of finite von Neumann factors. Journal of Symbolic Logic, 75(3), 1102–1110.
Herrmann, C., & Roddy, M.S. (2000). A note on the equational theory of modular ortholattices. Algebra Universalis, 44, 165–168.
Harding, J. (1992). Irreducible, OMLs which are simple. Algebra Universalis, 29, 556–563.
Kalmbach, G. (1983). Orthomodular lattices. London: Academic Press.
Dunn, M., Hagge, T., Moss, L., Wang, Z. (2005). Quantum logic as motivated by quantum computing. Journal of Symbolic logic, 70(2), 353–359.
von Neumann, J. (1960). Continuous geometry. Princeton: Princeton University Press.
Acknowledgments
Thanks are due to Z. Wang and T. Hagge for helpful discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
This manuscript was prepared after the Quantum Logic Inspired by Quantum Computation Workshop in Bloomington IN in 2009. Since its preparation, the author has become aware of independent work by Christian Herrmann [3]
Rights and permissions
About this article
Cite this article
Harding, J. Decidability of the Equational Theory of the Continuous Geometry \(CG(\Bbb {F})\) . J Philos Logic 42, 461–465 (2013). https://doi.org/10.1007/s10992-013-9270-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-013-9270-x