Open AccessOn Automorphic Tuples of Elements in Computable Models
Author(s) -
С. С. Гончаров,
Valentina Harizanov,
Julia F. Knight,
Andrey Morozov,
A. V. Romina
Publication year - 2005
Publication title -
siberian mathematical journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.81
H-Index - 31
eISSN - 1573-9260
pISSN - 0037-4466
DOI - 10.1007/s11202-005-0043-9
Subject(s) - tuple , mathematics , pure mathematics , algebra over a field , discrete mathematics
A criterion is obtained for existence of two isomorphic but not hyperarithmetically isomorphic tuples in a hyperarithmetical model. This criterion is used to show that such a situation occurs in the models of well-known classes.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom