Sommaire

Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität.

Madlener, K. ; Avenhaus, J.

Access to full text
p. 3-12

Göttinger Digitalisierungszentrum
On the elementary theory of inductive order.

Sonenberg, E.A.

Access to full text
p. 13-22

Göttinger Digitalisierungszentrum
A note on ...-categorical model-companions.

Weispfennig, Volker

Access to full text
p. 23-30

Göttinger Digitalisierungszentrum
Choice sequences and reduction processes.

Haberthür, R.

Access to full text
p. 31-50

Göttinger Digitalisierungszentrum
Compact and ...-compact formulas in L..., ...

Gold, Bonnie

Access to full text
p. 51-64

Göttinger Digitalisierungszentrum
Eine beweistheoretische Anwendung partieller stetiger Funktionale.

Vogel, H.

Access to full text
p. 65-78

Göttinger Digitalisierungszentrum
On relational selections for complete theories.

Kaiser, Klaus

Access to full text
p. 79-88

Göttinger Digitalisierungszentrum
Charakterisierung der Aufzählungsreduzierbarkeit.

Hebeisen, Friedrich

Access to full text
p. 89-96

Göttinger Digitalisierungszentrum
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.

Wirsing, Martin

Access to full text
p. 97-110

Göttinger Digitalisierungszentrum
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.

Börger, Egon

Access to full text
p. 111-114

Göttinger Digitalisierungszentrum
The operator gap theorem in ...-recursion theory.

Di Paola, Robert A.

Access to full text
p. 115-130

Göttinger Digitalisierungszentrum
Équivalence naturelle et formules logiques en théorie des catégories.

Blanc, Georges

Access to full text
p. 131-138

Göttinger Digitalisierungszentrum
A new type assignment for ...-terms.

Coppo, M. ; Dezani-Ciancaglini, M.

Access to full text
p. 139-156

Göttinger Digitalisierungszentrum
Consistency proof without transfinite induction for a formal system for turing machines.

Caporaso, Salvatore

Access to full text
p. 157-164

Göttinger Digitalisierungszentrum
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.

Vogel, H.

Access to full text
p. 165-174

Göttinger Digitalisierungszentrum
Interpretationen der Heyting-Arithmetik endlicher Typen.

Stein, Martin

Access to full text
p. 175-189

Göttinger Digitalisierungszentrum