- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the equational theory of projection lattices of finite von Neumann factors
Journal of Symbolic Logic 75 (3):1102-1110 (2010)
Abstract
For a finite von Neumann algebra factor M, the projections form a modular ortholattice L(M). We show that the equational theory of L(M) coincides with that of some resp. all L(ℂ n × n ) and is decidable. In contrast, the uniform word problem for the variety generated by all L(ℂ n × n ) is shown to be undecidableLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Decidability of the Equational Theory of the Continuous Geometry CG(\Bbb {F}).John Harding - 2013 - Journal of Philosophical Logic 42 (3):461-465.
Von Neumann's argument for the projection postulate.Joseph D. Sneed - 1966 - Philosophy of Science 33 (1/2):22-39.
Distributive lattices with a dual homomorphic operation. II.Alasdair Urquhart - 1981 - Studia Logica 40 (4):391 - 404.
Representation of finite demi-p-lattices by means of posets.Hernando Gaitan - 1996 - Studia Logica 56 (1-2):97 - 110.
That Von Neumann did not believe in a physical collapse.Lon Becker - 2004 - British Journal for the Philosophy of Science 55 (1):121-135.
Von Neumann, Gödel and complexity theory.Alasdair Urquhart - 2010 - Bulletin of Symbolic Logic 16 (4):516-530.
The Von Neumann entropy: A reply to Shenker.Leah Henderson - 2003 - British Journal for the Philosophy of Science 54 (2):291-296.
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
Borel reducibility and classification of von Neumann algebras.Román Sasyk & Asger Törnquist - 2009 - Bulletin of Symbolic Logic 15 (2):169-183.
On the equational theory of representable polyadic equality algebras.István Németi & Gábor Sági - 2000 - Journal of Symbolic Logic 65 (3):1143-1167.
Analytics
Added to PP
2010-09-12
Downloads
47 (#330,788)
6 months
5 (#629,136)
2010-09-12
Downloads
47 (#330,788)
6 months
5 (#629,136)
Historical graph of downloads
Citations of this work
Decidability of the Equational Theory of the Continuous Geometry CG(\Bbb {F}).John Harding - 2013 - Journal of Philosophical Logic 42 (3):461-465.
References found in this work
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
Quantum logic as motivated by quantum computing.J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss & Zhenghan Wang - 2005 - Journal of Symbolic Logic 70 (2):353-359.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo