The categoricity of the group of all computable automorphisms of the rational numbers |
| |
Authors: | A. S. Morozov J. K. Truss |
| |
Affiliation: | (1) Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia;(2) University of Leeds, Leeds, UK |
| |
Abstract: | We prove that there is a first-order sentence ϕ such that the group of all computable automorphisms of the ordering of the rational numbers is its only model among the groups that are embeddable in the group of all computable permutations. Supported by a Scheme 2 grant from the London Mathematical Society. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 649–662, September–October, 2007. |
| |
Keywords: | group of all computable automorphisms of rational numbers finitely axiomatizable theory categorical theory |
本文献已被 SpringerLink 等数据库收录! |
|