Maquelin, Suzanne (2018) Completeness of Propositional Provability Logic. Bachelor's Thesis, Mathematics.
|
Text
bMATH_2018_MaquelinSL.pdf Download (305kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
Toestemming.pdf Restricted to Registered users only Download (98kB) |
Abstract
Propositional provability logic stems from the desire to investigate what mathematical theories can say about themselves. In this thesis, we will discuss multiple papers on the completeness of propositional provability logic. It turns out that propositional provability logic is complete with respect to the class of finite irreflexive trees and arithmetically complete with respect to Peano Arithmetic. The last result gave rise to exploring the boundaries of propositional provability logic with respect to weaker arithmetics. We will discuss a class of theories discovered by D. de Jongh who has proven its arithmetical completeness based on the proof that R.M. Solovay provided for Peano Arithmetic.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Verbrugge, L.C. |
| Degree programme: | Mathematics |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 09 Jul 2018 |
| Last Modified: | 11 Jul 2018 11:16 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/17705 |
Actions (login required)
 |
View Item |