On External Scott Algebras in Nonstandard Models of Peano Arithmetic
Kanovei, Vladimir
J. Symbolic Logic, Tome 61 (1996) no. 1, p. 586-607 / Harvested from Project Euclid
We prove that a necessary and sufficient condition for a countable set $\mathscr{L}$ of sets of integers to be equal to the algebra of all sets of integers definable in a nonstandard elementary extension of $\omega$ by a formula of the $\mathrm{PA}$ language which may include the standardness predicate but does not contain nonstandard parameters, is as follows: $\mathscr{L}$ is closed under arithmetical definability and contains $0^{(\omega)}$, the set of all (Godel numbers of) true arithmetical sentences. Some results related to definability of sets of integers in elementary extensions of $\omega$ are included.
Publié le : 1996-06-14
Classification: 
@article{1183745016,
     author = {Kanovei, Vladimir},
     title = {On External Scott Algebras in Nonstandard Models of Peano Arithmetic},
     journal = {J. Symbolic Logic},
     volume = {61},
     number = {1},
     year = {1996},
     pages = { 586-607},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745016}
}
Kanovei, Vladimir. On External Scott Algebras in Nonstandard Models of Peano Arithmetic. J. Symbolic Logic, Tome 61 (1996) no. 1, pp.  586-607. http://gdmltest.u-ga.fr/item/1183745016/