# Dr. Florian Ranzi

- e-Mail: ranzi@inf.unibe.ch

Research within LTG:

Publications: List of Publications

metapredicativity, ordinal analysis, ordinal notation systems, proof theory