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.
Beyond fix-point structures are iterated inductive definitions. A typical one is the structure of all well-ordered trees. It is there for a renewed investigation.
| Type: | 60 ECTS |
| Veileder(e): | Herman Ruge Jervell |
| Tilknyttet forskningsgruppe(r): | LNS |