Back to overview

Functional interpretations of Kripke-Platek set theory

Applicant Ferreira Fernando
Contact person Strahm Thomas
Number 144596
Funding scheme International short research visits
Research institution
Institution of higher education University of Berne - BE
Main discipline Mathematics
Start/End 01.09.2012 - 30.11.2012
Approved amount 9'510.00
Show all

All Disciplines (2)

Information Technology

Keywords (6)

Mathematical Logic; Proof Theory; Functional Interpretations; Admissibility; Impredicative Analysis; Computational Content of Theories

Responsible applicant and co-applicants

Associated projects

Number Title Start Funding scheme
162321 Function algebras and theories for computational complexity 01.06.2015 International short research visits