Tennenbaum phenomena in models of arithmetic

• Název práce v češtině: Tennenbaumův jev v modelech aritmetiky
• Název v anglickém jazyce: Tennenbaum phenomena in models of arithmetic
• Klíčová slova: teória modelov|Peanova aritmetika|teória vyčísliteľnosti|rekurzívne neštandardné modely|Tennenbaumova veta|typ usporiadania|div|mod
• Klíčová slova anglicky: model theory|Peano arithmetic|computability theory|recursive non-standard models|Tennenbaum's theorem|order-type|div|mod
• Akademický rok vypsání: 2022/2023
• Typ práce: bakalářská práce
• Jazyk práce: angličtina
• Ústav: Informatický ústav Univerzity Karlovy (32-IUUK)
• Vedoucí / školitel: Neil Thapen
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 19.07.2023
• Datum zadání: 19.07.2023
• Datum potvrzení stud. oddělením: 31.07.2023
• Datum a čas obhajoby: 05.02.2024 10:00
• Datum odevzdání elektronické podoby: 11.01.2024
• Datum odevzdání tištěné podoby: 11.01.2024
• Datum proběhlé obhajoby: 05.02.2024
• Oponenti: RNDr. Jakub Bulín, Ph.D.

Zásady pro vypracování

Tennenbaum's theorem shows that there is no computable nonstandard model of Peano
arithmetic. Give a presentation of it and investigate related questions, such as how weak a
theory of arithmetic can be used, or which aspects of the model can be made computable.

Seznam odborné literatury

Richard Kaye. Models of Peano Arithmetic, Oxford University Press, 1991.