Abstract
The main result of this paper partially answers a question raised in about the existence of countable just recursively saturated models of Peano Arithmetic with non-isomorphic automorphism groups. We show the existence of infinitely many countable just recursively saturated models of Peano Arithmetic such that their automorphism groups are not topologically isomorphic. We also discuss maximal open subgroups of the automorphism group of a countable arithmetically saturated model of PA in a very good interstice.
Original language | English (US) |
---|---|
Pages (from-to) | 179-188 |
Number of pages | 10 |
Journal | Mathematical Logic Quarterly |
Volume | 61 |
Issue number | 3 |
DOIs | |
State | Published - May 1 2015 |
All Science Journal Classification (ASJC) codes
- Logic