On the elementary theory of quadruples of vector spaces

DOI10.1016/0003-4843(80)90011-XzbMath0453.03010OpenAlexW1975307467MaRDI QIDQ3900015

Walter Baur

Publication date: 1980

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(80)90011-x

zbMATH Keywords

elementary theory of modules

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Applications of computability and recursion theory (03D80)

Related Items (10)

Decidable representations ⋮ An undecidability theorem for lattices over group rings ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Rahmen und erzeugende Quadrupel in modularen Verbänden ⋮ Endomorphism algebras of peak $I$-spaces over posets of infinite prinjective type ⋮ Four submodules suffice for realizing algebras over commutative rings ⋮ Towards the decidability of the theory of modules over finite commutative rings ⋮ Modules as exact functors ⋮ On perfect pairs for quadruples in complemented modular lattices and concepts of perfect elements ⋮ On pairs of free modules over a Dedekind domain

This page was built for publication: On the elementary theory of quadruples of vector spaces