PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2007 | 195 | 2 | 155-176
Tytuł artykułu

Strong initial segments of models of IΔ₀

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Słowa kluczowe
Rocznik
Tom
195
Numer
2
Strony
155-176
Opis fizyczny
Daty
wydano
2007
Twórcy
  • Dipartimento di Matematica, Seconda Università di Napoli, via Vivaldi 43, Caserta 81100, Italy
  • Mathematics Department, University of Notre Dame, 255 Hurley Hall, Notre Dame, IN 46556, U.S.A.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm195-2-4
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.