scientific article
From MaRDI portal
Publication:3863873
zbMath0427.03037MaRDI QIDQ3863873
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hereditarily effective operationsKleene-Kreisel functionalspartial continuous functionals in all finite typestotal continuous functionals
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory (03D99) Theory of numerations, effectively presented structures (03D45) Proof theory and constructive mathematics (03F99)
Related Items (27)
Recursive unary algebras and trees ⋮ Rice’s Theorem in Effectively Enumerable Topological Spaces ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ On recursively enumerable structures ⋮ Unnamed Item ⋮ Representability of locally compact regular spaces by domains and formal spaces ⋮ Computable elements and functions in effectively enumerable topological spaces ⋮ Some results related to the continuity problem ⋮ Inductive inference and computable numberings ⋮ A category-theoretic characterization of functional completeness ⋮ Nonflatness and totality ⋮ Computability and the morphological complexity of some dynamics on continuous domains ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ A learning-theoretic characterization of classes of recursive functions ⋮ Fine hierarchies and m-reducibilities in theoretical computer science ⋮ On p-reducibility of numerations ⋮ Towards Computability over Effectively Enumerable Topological Spaces ⋮ Total sets and objects in domain theory ⋮ Some effectively infinite classes of enumerations ⋮ Computability in higher types, P\(\omega\) and the completeness of type assignment ⋮ Computable one-to-one enumerations of effective domains ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Equilogical spaces ⋮ Domain representations of topological spaces ⋮ Enumerations in computable structure theory ⋮ \({\mathcal M}^\omega\) considered as a programming language
This page was built for publication: