Veblen function

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:application proof theory
ordinal collapsing functions
gptkbp:describes transfinite hierarchies
gptkbp:field gptkb:set_theory
gptkbp:function φ(0,β) = ω^β
gptkbp:generalizes epsilon numbers
https://www.w3.org/2000/01/rdf-schema#label Veblen function
gptkbp:introducedIn 1908
gptkbp:namedAfter gptkb:Oswald_Veblen
gptkbp:notation φ(α,β)
gptkbp:relatedTo large countable ordinals
gptkbp:secondFunction φ(1,β) = next fixed point of φ(0,β)
gptkbp:usedFor ordinal analysis
gptkbp:bfsParent gptkb:Hardy_function
gptkbp:bfsLayer 7