Showing 2018Show all
3 papers · 1 filter
math.RA2018
On linear representation of -regular rings having representable ortholattice of projections
Christian Herrmann, Niklas Niemann
This paper aims at the following results: \begin{enumerate} \item The class of all -regular rings forms a variety. \item A subdirectly irreducible -regular ring is faithf…
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…