Dr. Florian Ranzi

Publications: List of Publications
metapredicativity, ordinal analysis, ordinal notation systems, proof theory