scientific article; zbMATH DE number 3456918

MaRDI QIDQ4043075zbMATH OpenFDO

Authors Peter Aczel, Peter G. Hinman

Publication date 1974

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cited in

(1)

• A plus-1 theorem for subsections

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4043075)