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
- Reference number
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-28
- Extent
-
3 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Indexentry person
- Date of creation
-
1957
- Other object pages
- Last update
-
01.03.2023, 7:50 AM CET
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1957
Other Objects (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