R.E. degrees of continuous functionals

DOI10.1007/BF02023015zbMath0527.03028OpenAlexW2013185056MaRDI QIDQ3043133

Dag Normann

Publication date: 1983

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138009

zbMATH Keywords

distributive latticeKleene recursionc-degreescountable recursionK-degrees

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Higher-type and set recursion theory (03D65)

Related Items

Priority arguments in the continuous r.e. degrees

Cites Work

• Unnamed Item
• Unnamed Item
• Filter spaces and continuous functionals
• Recursive Functionals and Quantifiers of Finite Types I
• Characterizing the continuous functionals
• The 1-section of a countable functional
• The continuous functionals; computations, recursions and degrees
• On effectively discontinuous type-2 objects