Jump to Navigation
LTG
Logic and Theory Group
You are here
Home
›
Staff
›
Florian Ranzi
Office: 111
Telephone: +41 (0)31 511 76 21
e-Mail:
ranzi@iam.unibe.ch
Research within LTG:
Foundations of Explicit Mathematics
Subsystems of Second Order Arithmetic and Set Theory
metapredicativity, ordinal analysis, ordinal notation systems, proof theory
Home
Contact
Staff
Research Topics
Lectures
Calendar
Publications
