Definable relations in finite-dimensional subspace lattices with involution

DOI10.1007/S00012-018-0553-5zbMATH Open1472.03029OpenAlexW2888355766MaRDI QIDQ1991600FDOQ1991600

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

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

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)

Cites Work

• Title not available (Why is that?)
• Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Small non-Arguesian lattices
• Arguesian Lattices of Dimension $n\leqq 4$.
• Quadratic forms in infinite dimensional vector spaces
• Logic and Invariant Theory. I: Invariant Theory of Projective Properties
• Invariant computations for analytic projective geometry
• Computational Complexity of Quantum Satisfiability

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)