Interpreting arithmetics in the ideal lattice of a free vector lattice ℱ n
From MaRDI portal
Publication:3546109
DOI10.1007/S10469-008-0004-ZzbMath1164.06331OpenAlexW1984695644MaRDI QIDQ3546109
Publication date: 18 December 2008
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-008-0004-z
Undecidability and degrees of sets of sentences (03D35) Models of arithmetic and set theory (03C62) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
This page was built for publication: Interpreting arithmetics in the ideal lattice of a free vector lattice ℱ n