Ordinals associated with theories for one inductively defined set. Unpublished paper (1968)

by Solomon Feferman