Sachakte
Effective operations and partial recursive functionals
Enthält: eine Kopie vom Reprint (1960) des zusammen mit Daniel Lacombe und Joseph R. Shoenfield publizierten Artikels "Effective operations and partial recursive functionals" aus Summaries of Talks Presented at the Summer Insitute for Symbolic Logic Cornell University 1957, hg. v. J. Rosser, Ithaca N.Y.
Lacombe, Daniel; Mathematiker, - 2016
Shoenfield, Joseph R.; Mathematiker, Logiker, 1927 - 2000
- Archivaliensignatur
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-28
- Umfang
-
3 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Indexbegriff Person
- Laufzeit
-
1957
- 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
- 1957
Ähnliche Objekte (12)
Partial recursive functionals and effective operations
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
Partial recursive functionals and effective operations
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
Partial recursive functionals and effective operations
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