Definable relations in finite-dimensional subspace lattices with involution

DOI10.1007/S00012-018-0553-5MaRDI QIDQ1991600zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions
• Orthogonality and complementation in the lattice of subspaces of a finite vector space
• scientific article; zbMATH DE number 3885989
• The lattice of definability. Origins, recent developments, and further directions
• Lattice of definability in the order of rational numbers

Cites work

• scientific article; zbMATH DE number 3777562 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1517950 (Why is no real title available?)
• scientific article; zbMATH DE number 3273222 (Why is no real title available?)
• Arguesian Lattices of Dimension $n\leqq 4$.
• Computational Complexity of Quantum Satisfiability
• Invariant computations for analytic projective geometry
• Logic and Invariant Theory. I: Invariant Theory of Projective Properties
• Model Theory
• Quadratic forms in infinite dimensional vector spaces
• Small non-Arguesian lattices

Cited in

(3)

• On definability of team relations with \(k\)-invariant atoms
• On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices
• Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1991600)