Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T

LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Sep 13, 2016
from 02:00 PM to 03:00 PM
Add event to calendar vCal
iCal

Abstract:

The variant of Gödel's system T of primitive recursive functionals of finite type which is based on typed lambda-calculus can be seen as a paradigm for higher order rewrite systems.

In an article joint with A.Weiermann (LMCS 2012) T was analyzed using an assignment technique extending Howard's original assignment from 1970.

In my talk I am going to explain this technique under two aspects: the non-unique assignment needed in the argument, which goes back to Howard's original treatment,

and Weiermann's collapsing technique, which allowed for a derivation lengths classification of T.

 

Document Actions