Akten
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...
Enthält: 2 Sonderdrucke des Artikels "Finiteness theorems in arithmetic: An application of Herbrand's theorem for ..." aus: Proceedings of the Herbrand Symposium: Logic Colloquium '81, Held in Marseilles, France, July 1981, hg. v. J. Stern, Amsterdam 1982
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-116
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1982
- 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
- 1982
Ähnliche Objekte (12)
A theorem in Arithmetic.
Herbrand's theorem as higher order recursion
Herbrand's theorem as higher order recursion
An arithmetic Riemann-Roch theorem for metrics with cusps
12. Reciprocity; Gauss' Theorem of the Arithmetic Mean.
A regularized arithmetic Riemann-Roch theorem via metric degeneration
Identity theorem for holomorphic functions, Liouville's theorem
Théorème réciproque d'un théorème de M. E. Cesaro et application.
Arithmetic and anabelian theorems for stable sets of primes in number fields
Arithmetic and anabelian theorems for stable sets of primes in number fields
Application d'un théorème de Stewart.
Store buffer reduction theorem and application
A theorem in Arithmetic.
Herbrand's theorem as higher order recursion
Herbrand's theorem as higher order recursion
An arithmetic Riemann-Roch theorem for metrics with cusps
12. Reciprocity; Gauss' Theorem of the Arithmetic Mean.
A regularized arithmetic Riemann-Roch theorem via metric degeneration
Identity theorem for holomorphic functions, Liouville's theorem
Théorème réciproque d'un théorème de M. E. Cesaro et application.
Arithmetic and anabelian theorems for stable sets of primes in number fields
Arithmetic and anabelian theorems for stable sets of primes in number fields
Application d'un théorème de Stewart.
Store buffer reduction theorem and application
A theorem in Arithmetic.
Herbrand's theorem as higher order recursion
Herbrand's theorem as higher order recursion
An arithmetic Riemann-Roch theorem for metrics with cusps
12. Reciprocity; Gauss' Theorem of the Arithmetic Mean.
A regularized arithmetic Riemann-Roch theorem via metric degeneration
Identity theorem for holomorphic functions, Liouville's theorem
Théorème réciproque d'un théorème de M. E. Cesaro et application.
Arithmetic and anabelian theorems for stable sets of primes in number fields
Arithmetic and anabelian theorems for stable sets of primes in number fields
Application d'un théorème de Stewart.