Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

On Wilkie and Paris’s notion of fullness

Tom 245 / 2019

Tin Lok Wong Fundamenta Mathematicae 245 (2019), 79-100 MSC: Primary 03C62; Secondary 03H15. DOI: 10.4064/fm491-7-2018 Opublikowany online: 14 December 2018

Streszczenie

In their comprehensive study of the End-Extension Question, Wilkie and Paris devised a special notion of saturation called \emph {fullness} for models of arithmetic (Logic, Methodology and Philosophy of Science VIII, North-Holland, 1989, pp. 143–161). In this paper, we take a closer look at that notion of fullness and refine some results in the Wilkie–Paris paper. In particular, we characterize fullness in terms of the existence of recursively saturated end extensions. From this we deduce that every countable $\mathrm {I}\Delta _0$-full model of $\mathrm {I}\Delta _0+\mathrm {B}\Sigma _1$ is $(\mathrm {I}\Delta _0+\mathrm {B}\Sigma _1)$-full.

Autorzy

  • Tin Lok WongInstitute of Mathematics
    Polish Academy of Sciences
    Śniadeckich 8
    00-656 Warszawa, Poland
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek