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
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-59
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1965
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
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
- 1965
Ähnliche Objekte (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