Abstract

A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
On Algebras of Distributions of Binary Isolating Formulas for Theories of Abelian Groups and Their Ordered Enrichments
K A Baikalova ... B Sh Kulpeshov
Russian Mathematics | VOL. 62
K A Baikalova, et. al.K A Baikalova ... B Sh Kulpeshov
01 Apr 2018
Chapter 17 Constructive abelian groups
N.G Khisamiev
Studies in Logic and the Foundations of Mathematics | VOL. 139
N.G KhisamievN.G Khisamiev
01 Jan 1998
On the computational complexity of the theory of Abelian groups
Libo Lo
Annals of Pure and Applied Logic | VOL. 37
Libo LoLibo Lo
01 Mar 1988
Approximations for Theories of Abelian Groups
Inessa I Pavlyuk ... Sergey V Sudoplatov
Mathematics and Statistics | VOL. 8
Inessa I Pavlyuk, et. al.Inessa I Pavlyuk ... Sergey V Sudoplatov
01 Mar 2020
View more papers

More From: algebra universalis

Paper Title
Journal
Date
Author
S\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{S}$$\\end{document}-preclones and the Galois connection SPol\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{}^{S}{}\ extrm{Pol}}$$\\end{document}–SInv\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{}^{S}{}\ extrm{Inv}}$$\\end{document}, Part I
Peter Jipsen ... Reinhard Pöschel
algebra universalis | VOL. 85
Peter Jipsen, et. al.Peter Jipsen ... Reinhard Pöschel
09 Jul 2024
On the networks of large embeddings
Tuğba Aslan ... Gergely Székely
algebra universalis | VOL. 85
Tuğba Aslan, et. al.Tuğba Aslan ... Gergely Székely
09 Jul 2024
S\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{S}$$\\end{document}-preclones and the Galois connection SPol\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{}^{S}{}\ extrm{Pol}}$$\\end{document}–SInv\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{}^{S}{}\ extrm{Inv}}$$\\end{document}, Part I
Peter Jipsen ... Reinhard Pöschel
algebra universalis | VOL. 85
Peter Jipsen, et. al.Peter Jipsen ... Reinhard Pöschel
09 Jul 2024
The Freudenthal and other compactifications of continuous frames
Simo Mthethwa ... Gugulethu Nogwebela
algebra universalis | VOL. 85
Simo Mthethwa, et. al.Simo Mthethwa ... Gugulethu Nogwebela
04 Jul 2024
View more papers