A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups
- 1 October 1985
- journal article
- Published by Springer Nature in Algebra universalis
- Vol. 20 (3) , 400-401
- https://doi.org/10.1007/bf01195146
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Decidability and Boolean representationsMemoirs of the American Mathematical Society, 1981