Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018
On the complexity of equational decision problems for finite height(ortho)complemented modular lattices
Christian Herrmann
We study the computational complexity of satisfiability problems for classes of simple finite height (ortho)complemented modular lattices . For single finite , these problems…
math.LO2018
Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier free and homogeneous descriptions
Christian Herrmann, Martin Ziegler
For finite dimensional hermitean inner product spaces , over -fields , and in the presence of orthogonal bases providing form elements in the prime subfield of , we sho…