Automorphism groups of decidable models
type: Item
instance of: scholarly article
title: Automorphism groups of decidable models
zbMATH Open document ID: 0856.03029
DOI: 10.1007/BF00739408
published in: Algebra and Logic
publication date: 1996-07-21T00:00:00Z
full work available at URL: https://eudml.org/doc/187737
review text: The author studies the question as to whether the classes of isomorphism types of recursive automorphism groups for recursive and decidable models coincide. It is proved that the answer is positive. Moreover, the author shows that all isomorphism types of the recursive automorphism groups can be realized in a single countably categorical model.
Mathematics Subject Classification ID: 03C57
zbMATH DE Number: 907280
zbMATH Keywords: recursive models
zbMATH Keywords: recursive automorphism groups
zbMATH Keywords: decidable models
zbMATH Keywords: countably categorical model
author: Andrei S. Morozov
reviewed by: M. M. Arslanov
MaRDI profile type: Publication
cites work: A decidable countably categorical model without nontrivial recursive automorphisms
OpenAlex ID: W1983044833
description: scientific article; zbMATH DE number 907280