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
- Reference number
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-38
- Extent
-
2 Sonderdrucke
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Indexentry person
- Date of creation
-
1959
- 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
- 1959
Other Objects (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