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

DOI10.1007/S10992-013-9270-XzbMATH Open1345.03022OpenAlexW2088917393MaRDI QIDQ358692FDOQ358692

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Irreducible orthomodular lattices which are simple
• A note on the equational theory of modular ortholattices
• 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)