Computability over the partial continuous functionals

DOI10.2307/2586691MaRDI QIDQ4527914zbMATH OpenOpenAlexFDO

Authors Dag Normann

Publication date 16 July 2001

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2586691

zbMATH Keywords

partial continuous functionalsPlotkin's programming language for computable functionalsrecursive functionalstotal continuous functional

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• Recursion on the partial continuous functionals
• Exact real number computations relative to hereditarily total functionals.
• scientific article; zbMATH DE number 873331
• scientific article; zbMATH DE number 1531376
• scientific article; zbMATH DE number 1531361

Cited in

(15)

• Operational domain theory and topology of sequential programming languages
• Exact real number computations relative to hereditarily total functionals.
• Computability of products of chainable continua
• Models of computation for partial functions on the reals
• On the Cantor-Bendixson rank of a set that is searchable in Gödel's T
• The Veblen functions for computability theorists
• Towards a formal theory of computability
• scientific article; zbMATH DE number 1088270 (Why is no real title available?)
• scientific article; zbMATH DE number 1531371 (Why is no real title available?)
• The recursion hierarchy for PCF is strict
• Nonflatness and totality
• Computability and the Implicit Function Theorem
• Continuous and monotone machines
• On the ubiquity of certain total type structures
• Computing with Functionals—Computability Theory or Computer Science?

This page was built for publication: Computability over the partial continuous functionals

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