scientific article
From MaRDI portal
Publication:3656531
zbMath1188.03025MaRDI QIDQ3656531
A. M. W. Glass, V. V. Bludov, Michèle Giraudet, Gabriel Sabbagh
Publication date: 13 January 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automorphism groupfinitely presented groupexistential theoryinsoluble word problemundecidable theoryright ordered group
Undecidability and degrees of sets of sentences (03D35) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Ordered groups (06F15) Infinite automorphism groups (20B27) Other classical first-order model theory (03C68)
Related Items (4)
To the 70th anniversary of the birth of V. V. Bludov ⋮ The automorphism group of a resplendent model ⋮ Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems ⋮ A survey of homogeneous structures
This page was built for publication: