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).

Restricted polynomial induction versus ordinary induction

Tom 242 / 2018

Zofia Adamowicz Fundamenta Mathematicae 242 (2018), 75-92 MSC: Primary 03F30; Secondary 03F40. DOI: 10.4064/fm323-10-2017 Opublikowany online: 26 February 2018

Streszczenie

We consider conservativity questions between, on the one hand, arithmetical theories in which the operations of successor, addition and multiplication are not provably total and which are fragments of the bounded arithmetic theory $I\Delta _0$ and, on the other hand, extensions of those theories to subtheories of Buss’s bounded arithmetic $S_2$. These questions are related to the problem of finite axiomatizability of a version of $I\Delta _0$ in which the totality of the operations is not assumed.

Autorzy

  • Zofia AdamowiczInstitute 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