Bewijsbaarheid in zwakkere modellen van de rekenkunde

Abstract

Sinds de jaren 50 worden modellen van de rekenkunde bestudeerd waarvan het inductieschema is afgezwakt. In deze scriptie kijken we naar de theorie van begrensde inductie, en naar de bewijsbaarheid van bepaalde stellingen in deze theorie. We kijken dan voornamelijk naar het duiventilprincipe en de cofinaliteit van de priemgetallen binnen modellen van deze theorie.