Pages that link to "Item:Q4931110"
From MaRDI portal
The following pages link to On the equational theory of projection lattices of finite von neumann factors (Q4931110):
Displaying 6 items.
- Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\) (Q358692) (← links)
- Three ultrafilters in a modular logic (Q429920) (← links)
- On varieties of modular ortholattices that are generated by their finite-dimensional members. (Q485107) (← links)
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367) (← links)
- On geometric representations of modular ortholattices (Q2450845) (← links)
- Quantum logic is undecidable (Q2663337) (← links)
