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.

[img]
Preview
Text
bMATH_2018_MaquelinSL.pdf

Download (305kB) | Preview
[img] 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:
Supervisor nameSupervisor E mail
Verbrugge, L.C.L.C.Verbrugge@rug.nl
Degree programme: Mathematics
Thesis type: Bachelor's Thesis
Language: English
Date Deposited: 09 Jul 2018
Last Modified: 11 Jul 2018 11:16
URI: http://fse.studenttheses.ub.rug.nl/id/eprint/17705

Actions (login required)

View Item View Item