Javascript must be enabled for the correct page display

Completeness of Propositional Provability Logic

Maquelin, Suzanne (2018) Completeness of Propositional Provability Logic. Bachelor's Thesis, Mathematics.


Download (305kB) | Preview
[img] Text
Restricted to Registered users only

Download (98kB)


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

Actions (login required)

View Item View Item