Automorphism groups of models of first order theories

MaRDI QIDQ3656531zbMATH OpenFDO

Authors V. V. Bludov, Michèle Giraudet, A. M. W. Glass, Gabriel Sabbagh

Publication date 13 January 2010

zbMATH Keywords

automorphism groupexistential theoryfinitely presented groupinsoluble word problemright ordered groupundecidable theory

Mathematics Subject Classification ID

Other classical first-order model theory (03C68) Undecidability and degrees of sets of sentences (03D35) Ordered groups (06F15) Infinite automorphism groups (20B27) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• Undecidability of automorphism groups
• The automorphism group of a resplendent model
• Groups of automatic automorphisms of some automatic structures
• Automorphism groups of models of Peano arithmetic
• Computable groups of automorphisms of models

Cited in

(9)

• Computable groups of automorphisms of models
• 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
• scientific article; zbMATH DE number 3948587 (Why is no real title available?)
• Model companions of theories with an automorphism
• The automorphism group of a resplendent model
• The Automorphism Group of Falsum-Free Product Logic
• Parametric groups of definable automorphisms of strongly constructive models

This page was built for publication: Automorphism groups of models of first order theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656531)