Everywhere-defined continuous functionals

DOI10.1007/BF02284592zbMath0285.02041MaRDI QIDQ1844828

Yuri L. Ershov

Publication date: 1974

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

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Hierarchies of computability and definability (03D55) Proof theory and constructive mathematics (03F99)

Related Items (2)

Friedberg numberings of families of partial computable functionals ⋮ On the ubiquity of certain total type structures

Cites Work

• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Unnamed Item

This page was built for publication: Everywhere-defined continuous functionals