# 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> |

Trace: