Undecidable Lt theories of topological abelian groups
AbstractWe prove the hereditary undecidability of the Lt theories of:(1) torsion-free Hausdorff topological abelian groups;(2) locally pure Hausdorff topological abelian groups.
Keyword(s):
2006 ◽
Vol 06
(02)
◽
pp. 233-251
◽
Keyword(s):
2011 ◽
Vol 43
(6)
◽
pp. 1198-1204
2007 ◽
Vol 35
(3)
◽
pp. 1055-1072
◽
1985 ◽
Vol 93
(2)
◽
pp. 227-227
◽