Publication:3656531
From MaRDI portal
zbMath1188.03025MaRDI QIDQ3656531
A. M. W. Glass, V. V. Bludov, Michèle Giraudet, Gabriel Sabbagh
Publication date: 13 January 2010
automorphism group; finitely presented group; existential theory; insoluble word problem; undecidable theory; right ordered group
03D35: Undecidability and degrees of sets of sentences
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
06F15: Ordered groups
20B27: Infinite automorphism groups
03C68: Other classical first-order model theory
Related Items
The automorphism group of a resplendent model, To the 70th anniversary of the birth of V. V. Bludov, A survey of homogeneous structures, Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems