Geodesic

Volume 19 (1978)

Table of contents

Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität.
p. 3-12
On the elementary theory of inductive order.
p. 13-22
A note on ...-categorical model-companions.
p. 23-30
Choice sequences and reduction processes.
p. 31-50
Compact and ...-compact formulas in L..., ...
p. 51-64
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
p. 65-78
On relational selections for complete theories.
p. 79-88
Charakterisierung der Aufzählungsreduzierbarkeit.
p. 89-96
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
p. 97-110
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.
p. 111-114
The operator gap theorem in ...-recursion theory.
p. 115-130
Équivalence naturelle et formules logiques en théorie des catégories.
p. 131-138
A new type assignment for ...-terms.
p. 139-156
Consistency proof without transfinite induction for a formal system for turing machines.
p. 157-164
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.
p. 165-174
Interpretationen der Heyting-Arithmetik endlicher Typen.
p. 175-189