Akten
Model-theoretic invariants: Apllications to recursive and hyperarithmetic operations
Enthält: 2 Sonderdrucke des Artikels "Model-theoretic invariants: Apllications to recursive and hyperarithmetic operations" aus The Theory of Models, hg. v. J. Addison, L. Henkind und A. Tarski, Amsterdam 1965
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-59
- Extent
-
2 Sonderdrucke
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1965
- Other object pages
- Last update
-
10.06.2025, 11:28 AM CEST
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
- 1965
Other Objects (12)
K-theoretic generalized Donaldson-Thomas invariants
Number theoretic concepts and recursive well-orderings
Effective operations and partial recursive functionals
Partial recursive functionals and effective operations
Which number theoretic problems can be solved in recursive progressions ...
Recursive and Computable Operations over Topological Structures
Proof-theoretic versus Model-theoretic Consequence
Model theoretic hygiene
Model theoretic logics
Recursive Differencing for Estimating Semiparametric Models
Algorithmic Gauß-Manin connection : algorithms to compute Hodge-theoretic invariants of isolated hypersurface singularities
Algorithmic Gauß-Manin connection : algorithms to compute Hodge theoretic invariants of isolated hypersurface singularities
K-theoretic generalized Donaldson-Thomas invariants
Number theoretic concepts and recursive well-orderings
Effective operations and partial recursive functionals
Partial recursive functionals and effective operations
Which number theoretic problems can be solved in recursive progressions ...
Recursive and Computable Operations over Topological Structures
Proof-theoretic versus Model-theoretic Consequence
Model theoretic hygiene
Model theoretic logics
Recursive Differencing for Estimating Semiparametric Models
Algorithmic Gauß-Manin connection : algorithms to compute Hodge-theoretic invariants of isolated hypersurface singularities
Algorithmic Gauß-Manin connection : algorithms to compute Hodge theoretic invariants of isolated hypersurface singularities
K-theoretic generalized Donaldson-Thomas invariants
Number theoretic concepts and recursive well-orderings
Effective operations and partial recursive functionals
Partial recursive functionals and effective operations
Which number theoretic problems can be solved in recursive progressions ...
Recursive and Computable Operations over Topological Structures
Proof-theoretic versus Model-theoretic Consequence
Model theoretic hygiene
Model theoretic logics
Recursive Differencing for Estimating Semiparametric Models
Algorithmic Gauß-Manin connection : algorithms to compute Hodge-theoretic invariants of isolated hypersurface singularities