dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | van Oosten, Jaap | |
dc.contributor.author | Keller, B. | |
dc.date.accessioned | 2018-10-05T17:02:44Z | |
dc.date.available | 2018-10-05T17:02:44Z | |
dc.date.issued | 2017 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/36177 | |
dc.description.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. | |
dc.description.sponsorship | Utrecht University | |
dc.format.extent | 508543 | |
dc.format.mimetype | application/pdf | |
dc.language.iso | nl | |
dc.title | Bewijsbaarheid in zwakkere modellen van de rekenkunde | |
dc.type.content | Bachelor Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | Logica, Rekenkunde, Peano, Inductie, Begrensde inductie, Modeltheorie | |
dc.subject.courseuu | Mathematical Sciences | |