Strong initial segments of models of IΔ₀

Paola D'Aquino; Julia F. Knight

Fundamenta Mathematicae (2007)

  • Volume: 195, Issue: 2, page 155-176
  • ISSN: 0016-2736

Abstract

top
McAloon showed that if 𝓐 is a nonstandard model of IΔ₀, then some initial segment of 𝓐 is a nonstandard model of PA. Sommer and D'Aquino characterized, in terms of the Wainer functions, the elements that can belong to such an initial segment. The characterization used work of Ketonen and Solovay, and Paris. Here we give conditions on a model 𝓐 of IΔ₀ guaranteeing that there is an n-elementary initial segment that is a nonstandard model of PA. We also characterize the elements that can be included.

How to cite

top

Paola D'Aquino, and Julia F. Knight. "Strong initial segments of models of IΔ₀." Fundamenta Mathematicae 195.2 (2007): 155-176. <http://eudml.org/doc/282883>.

@article{PaolaDAquino2007,
abstract = {McAloon showed that if 𝓐 is a nonstandard model of IΔ₀, then some initial segment of 𝓐 is a nonstandard model of PA. Sommer and D'Aquino characterized, in terms of the Wainer functions, the elements that can belong to such an initial segment. The characterization used work of Ketonen and Solovay, and Paris. Here we give conditions on a model 𝓐 of IΔ₀ guaranteeing that there is an n-elementary initial segment that is a nonstandard model of PA. We also characterize the elements that can be included.},
author = {Paola D'Aquino, Julia F. Knight},
journal = {Fundamenta Mathematicae},
keywords = {nonstandard model; Peano arithmetic; Ramsey theory; largeness},
language = {eng},
number = {2},
pages = {155-176},
title = {Strong initial segments of models of IΔ₀},
url = {http://eudml.org/doc/282883},
volume = {195},
year = {2007},
}

TY - JOUR
AU - Paola D'Aquino
AU - Julia F. Knight
TI - Strong initial segments of models of IΔ₀
JO - Fundamenta Mathematicae
PY - 2007
VL - 195
IS - 2
SP - 155
EP - 176
AB - McAloon showed that if 𝓐 is a nonstandard model of IΔ₀, then some initial segment of 𝓐 is a nonstandard model of PA. Sommer and D'Aquino characterized, in terms of the Wainer functions, the elements that can belong to such an initial segment. The characterization used work of Ketonen and Solovay, and Paris. Here we give conditions on a model 𝓐 of IΔ₀ guaranteeing that there is an n-elementary initial segment that is a nonstandard model of PA. We also characterize the elements that can be included.
LA - eng
KW - nonstandard model; Peano arithmetic; Ramsey theory; largeness
UR - http://eudml.org/doc/282883
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.