Computable groups of automorphisms of models

DOI10.1007/BF01979013zbMath0631.03019OpenAlexW1970191275MaRDI QIDQ1094411

Andrey S. Morozov

Publication date: 1986

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187358

zbMATH Keywords

computable groupsdecidable modelgroup of recursive automorphismsarithmetical hierarchy, recursive model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra ⋮ Uniform \(m\)-equivalencies and numberings of classical systems ⋮ Turing degrees and automorphism groups of substructure lattices

Cites Work

• Unnamed Item
• Groups of recursive automorphisms of constructive Boolean algebras

This page was built for publication: Computable groups of automorphisms of models