Decidability of the equational theory of the continuous geometry CG( F)

DOI10.1007/S10992-013-9270-XMaRDI QIDQ358692zbMATH OpenOpenAlexFDO

Authors John Harding

Publication date 9 August 2013

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-013-9270-x

zbMATH Keywords

decidabilityorthomodular latticecontinuous geometryequational theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Complemented lattices, orthocomplemented lattices and posets (06C15)

Recommendations

• scientific article; zbMATH DE number 1240221
• scientific article; zbMATH DE number 6261977
• Decision problems for equational theories of relation algebras
• An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis
• Some new results on decidability for elementary algebra and geometry

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3273222 (Why is no real title available?)
• A note on the equational theory of modular ortholattices
• Irreducible orthomodular lattices which are simple
• On the equational theory of projection lattices of finite von Neumann factors
• Quantum logic as motivated by quantum computing

Cited in

(3)

• On geometric representations of modular ortholattices
• On varieties of modular ortholattices that are generated by their finite-dimensional members.
• On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices

This page was built for publication: Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q358692)