Definable relations in finite-dimensional subspace lattices with involution

DOI10.1007/s00012-018-0553-5zbMath1472.03029OpenAlexW2888355766MaRDI QIDQ1991600

Martin Ziegler, Christian Herrmann

Publication date: 30 October 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0553-5

zbMATH Keywords

model-completeness in quantum logicsreductions in descriptive complexity

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Modular lattices, Desarguesian lattices (06C05) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions ⋮ On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Invariant computations for analytic projective geometry
• Quadratic forms in infinite dimensional vector spaces
• Small non-Arguesian lattices
• Computational Complexity of Quantum Satisfiability
• Arguesian Lattices of Dimension $n\leqq 4$.
• Model Theory
• Logic and Invariant Theory. I: Invariant Theory of Projective Properties

This page was built for publication: Definable relations in finite-dimensional subspace lattices with involution