Differences

This shows you the differences between two versions of the page.

abelian_lattice-ordered_groups [2011/07/14 02:23]
jipsen
abelian_lattice-ordered_groups [2011/07/14 04:15] (current)
jipsen
Line 60: Line 60:
====Subclasses==== ====Subclasses====
-[[Totally ordered abelian groups]] +[[Ordered abelian groups|Totally ordered abelian groups]]
Line 71: Line 71:
Stanley Burris, \emph{A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups}, Stanley Burris, \emph{A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups},
Algebra Universalis, Algebra Universalis,
-\textbf{20}, 1985, 400--401)]+\textbf{20}, 1985, 400--401, http://www.math.uwaterloo.ca/~snburris/htdocs/MYWORKS/PAPERS/HerUndecLOAG.pdf)]
[(CherriPowell1993> [(CherriPowell1993>