A characterization of the Veblen-Schütte functions by means of functionals

DOI10.1007/BF02566131zbMath0272.02051MaRDI QIDQ759005

Hilbert Levitz

Publication date: 1973

Published in: Commentarii Mathematici Helvetici (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/139556

Mathematics Subject Classification ID

03F15: Recursive ordinals and ordinal notations

03D55: Hierarchies of computability and definability

Related Items

Theory of proofs (arithmetic and analysis), Natural well-orderings