Sachakte
Partial recursive functionals and effective operations
Enthält: zwei Sonderdrucke des zusammen mit Daniel Lacombe und Joseph R. Shoenfield publizierten Artikels "Partial recursive functionals and effective operations" aus Constructivity in Mathematics, hg. v. A. Heyting, Amsterdam 1959
Lacombe, Daniel; Mathematiker, - 2016
Shoenfield, Joseph R.; Mathematiker, Logiker, 1927 - 2000
- Archivaliensignatur
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-38
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Indexbegriff Person
- Laufzeit
-
1959
- Weitere Objektseiten
- Letzte Aktualisierung
-
01.03.2023, 07:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1959
Ähnliche Objekte (12)
Effective operations and partial recursive functionals
Limit theorems for functionals of recursive trees
Towards an arithmetic for partial computable functionals
Subrecursive hierarchies on the partial continuous functionals
Towards an arithmetic for partial computable functionals
Recursive and Computable Operations over Topological Structures
Spinor-orbital functionals and the optimized effective potential method
Model-theoretic invariants: Apllications to recursive and hyperarithmetic operations
Partial versus Global Optimizations in Economic Dynamics: The Case of Recursive Programming
Recursive Functions
Projecting statistical functionals
Independent recursive axiomatization
Effective operations and partial recursive functionals
Limit theorems for functionals of recursive trees
Towards an arithmetic for partial computable functionals
Subrecursive hierarchies on the partial continuous functionals
Towards an arithmetic for partial computable functionals
Recursive and Computable Operations over Topological Structures
Spinor-orbital functionals and the optimized effective potential method
Model-theoretic invariants: Apllications to recursive and hyperarithmetic operations
Partial versus Global Optimizations in Economic Dynamics: The Case of Recursive Programming
Recursive Functions
Projecting statistical functionals
Independent recursive axiomatization
Effective operations and partial recursive functionals
Limit theorems for functionals of recursive trees
Towards an arithmetic for partial computable functionals
Subrecursive hierarchies on the partial continuous functionals
Towards an arithmetic for partial computable functionals
Recursive and Computable Operations over Topological Structures
Spinor-orbital functionals and the optimized effective potential method
Model-theoretic invariants: Apllications to recursive and hyperarithmetic operations
Partial versus Global Optimizations in Economic Dynamics: The Case of Recursive Programming
Recursive Functions
Projecting statistical functionals