EMBEDDING FINITELY GENERATED ABELIAN LATTICE-ORDERED GROUPS: HIGMAN'S THEOREM AND A REALISATION OF $\pi$

DOI10.1112/S002461070300468XzbMath1067.06012OpenAlexW2166370902MaRDI QIDQ4819568

A. M. W. Glass, Vincenzo Marra

Publication date: 27 September 2004

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/s002461070300468x

zbMATH Keywords

continued fractionsfinitely presented groupslattice-ordered groupsrecursively enumerable relationsabelian ordered groups

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Ordered groups (group-theoretic aspects) (20F60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items (6)

Sublattice subgroups of finitely presented lattice-ordered groups. ⋮ The Lebesgue state of a unital abelian lattice-ordered group ⋮ Order representability in groups and vector spaces ⋮ A Note on Representable Group Topologies ⋮ Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems ⋮ Lattice-ordered Abelian groups and Schauder bases of unimodular fans

This page was built for publication: EMBEDDING FINITELY GENERATED ABELIAN LATTICE-ORDERED GROUPS: HIGMAN'S THEOREM AND A REALISATION OF $\pi$