1 results
AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1411-1434
- Print publication:
- December 2015
-
- Article
- Export citation
-
If
${\cal M},{\cal N}$ are countable, arithmetically saturated models of Peano Arithmetic and 
${\rm{Aut}}\left( {\cal M} \right) \cong {\rm{Aut}}\left( {\cal N} \right)$, then the Turing-jumps of 
${\rm{Th}}\left( {\cal M} \right)$ and 
${\rm{Th}}\left( {\cal N} \right)$ are recursively equivalent.
