The categoricity of the group of all computable automorphisms of the rational numbers

DOI10.1007/S10469-007-0035-XzbMath1164.03333OpenAlexW2000078974MaRDI QIDQ3546098

John K. Truss, Andrey S. Morozov

Publication date: 18 December 2008

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

Full work available at URL: https://doi.org/10.1007/s10469-007-0035-x

zbMATH Keywords

finitely axiomatizable theorycategorical theorygroup of all computable automorphisms of rational numbers

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Infinite automorphism groups (20B27) Categoricity and completeness of theories (03C35)

Related Items (1)

On computable presentations of some functional lattices

This page was built for publication: The categoricity of the group of all computable automorphisms of the rational numbers