scientific article; zbMATH DE number 3887669

MaRDI QIDQ3222178zbMATH OpenFDO

Authors Christoph Kreitz, Klaus Weihrauch

Publication date 1984

zbMATH Keywords

Type 2 computability

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65) Constructive and recursive analysis (03F60)

Recommendations

• Theory of representations
• ON REPRESENTATION SYSTEMS
• A Sketch of a Theory and Modelling Notation for Elucidating the Structure of Representations
• Embeddings of representations
• Representation, coherence and inference
• On modality of representations
• Structuralism and Representation Theorems†

Cited in

(29)

• Type 2 recursion theory
• Theory of representations
• Representations of the real numbers and of the open subsets of the set of real numbers
• Topological properties of real number representations.
• Topological analysis of representations
• Quantitative coding and complexity theory of compact metric spaces
• Representations and the foundations of mathematics
• Self-representation in Girard's System U
• The representational foundations of computation
• scientific article; zbMATH DE number 5898637 (Why is no real title available?)
• Type‐2 computability on spaces of integrable functions
• Spaces allowing Type‐2 Complexity Theory revisited
• Honest computability and complexity
• scientific article; zbMATH DE number 3869319 (Why is no real title available?)
• Recursion theoretic operators and morphisms on numbered sets
• Exhaustible sets in higher-type computation
• scientific article; zbMATH DE number 3920459 (Why is no real title available?)
• scientific article; zbMATH DE number 4037847 (Why is no real title available?)
• scientific article; zbMATH DE number 551031 (Why is no real title available?)
• scientific article; zbMATH DE number 1969324 (Why is no real title available?)
• Closed sets and operators thereon: representations, computability and complexity
• scientific article; zbMATH DE number 2163039 (Why is no real title available?)
• scientific article; zbMATH DE number 3993572 (Why is no real title available?)
• Computability and representations of the zero set
• Revising type-2 computation and degrees of discontinuity
• Total representations
• New Computational Paradigms
• scientific article; zbMATH DE number 7644091 (Why is no real title available?)
• Logical Approaches to Computational Barriers

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 Q3222178)