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

Recursive ordinals and ordinal notations (03F15) Hierarchies of computability and definability (03D55)

Related Items

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