Maximal and everywhere-defined functionals

DOI10.1007/BF01463138zbMath0325.02027MaRDI QIDQ1225046

Yuri L. Ershov

Publication date: 1975

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (8)

Partial morphisms in categories of effective objects ⋮ Nonflatness and totality ⋮ Characterizing the continuous functionals ⋮ Total sets and objects in domain theory ⋮ Some hierarchies of QCB₀-spaces ⋮ Feferman on Computability ⋮ Eine beweistheoretische Anwendung partieller stetiger Funktionale ⋮ Computing with Functionals—Computability Theory or Computer Science?

Cites Work

• Unnamed Item

This page was built for publication: Maximal and everywhere-defined functionals