CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishMcAloon showed that if A is a non standard model of ID_0 then some initial segment of A is a non standard 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 A of ID_0 guaranteeing that there is an n-elementary initial segment that is a non standard model of PA. We also charaterize the elements that can be included.
| Titolo: | Strong initial segments of models of IΔ0 |
| Autori: | |
| Data di pubblicazione: | 2007 |
| Rivista: | |
| Abstract: | McAloon showed that if A is a non standard model of ID_0 then some initial segment of A is a non standard 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 A of ID_0 guaranteeing that there is an n-elementary initial segment that is a non standard model of PA. We also charaterize the elements that can be included. |
| Handle: | http://hdl.handle.net/11591/187623 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
http://hdl.handle.net/11591/187623
Copyright © 2020