Master project in logic
The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be properties which can be expressed in the language and are true - but cannot shown to be true in the formal framework. The project can be extended to a ph.d.-project.
Instead of investigating datastructures where in the formal framework we have full induction we investigate formal framework where there are some restrictions on the induction. In this way we get to some of the usual complexity classes and much need to be investigated.
| Type: | 60 ECTS |
| Veileder(e): | Herman Ruge Jervell |
| Tilknyttet forskningsgruppe(r): | LNS |