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 ordinary datastructures we have fix-point structures. I would be especially interested in using the ordering of finite trees in an analysis of fix-point structures.
| Type: | 60 ECTS |
| Veileder(e): | Herman Ruge Jervell |
| Tilknyttet forskningsgruppe(r): | LNS |