scientific article; zbMATH DE number 3285221
From MaRDI portal
Publication:5567860
zbMath0178.32201MaRDI QIDQ5567860
J. R. Shoenfield, Daniel Lacombe, Georg Kreisel
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (27)
On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis ⋮ Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals ⋮ Polymorphic extensions of simple type structures. With an application to a bar recursive minimization ⋮ When is an automatic set an additive basis? ⋮ An Effective Operator, Continuous but not Partial Recursive ⋮ On Creative Sets and Indices of Partial Recursive Functions ⋮ Some results related to the continuity problem ⋮ Unnamed Item ⋮ Metric spaces in synthetic topology ⋮ What is a universal higher-order programming language? ⋮ Algebraic specifiability of data types with minimal computable parameters ⋮ Generalizing Computability Theory to Abstract Algebras ⋮ Equational theories for inductive types ⋮ Notes on computable analysis ⋮ Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis ⋮ Towards Computability over Effectively Enumerable Topological Spaces ⋮ Computability of simple games: A characterization and application to the core ⋮ Total sets and objects in domain theory ⋮ Computability concepts for programming language semantics ⋮ Unnamed Item ⋮ Topological variants of the continuity theorem for mappings and related theorems ⋮ Constructive operators of finite types ⋮ The concept of effective method applied to computational problems of linear algebra ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ La théorie des fonctions récursives et ses applications. (Exposé d'information générale) ⋮ A Real Number Structure that is Effectively Categorical
This page was built for publication:
