Restricted polynomial induction versus ordinary induction

Adamowicz, Z

Adamowicz, Z (reprint author), Polish Acad Sci, Inst Math, Sniadeckich 8, PL-00656 Warsaw, Poland.

FUNDAMENTA MATHEMATICAE, 2018; 242 (1): 75

Abstract

We consider conservativity questions between, on the one hand, arithmetical theories in which the operations of successor, addition and multiplication......

Full Text Link