Volume 19; Issue 1

Archive for Mathematical Logic

Volume 19; Issue 1
1

Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität

J. Avenhaus, K. Madlener
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
german
File:
PDF, 625 KB
german, 1978
2

On the elementary theory of inductive order

E. A. Sonenberg
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
english
File:
PDF, 560 KB
english, 1978
3

A note on ℵ0-categorical model-companions

Volker Weispfenning
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
english
File:
PDF, 505 KB
english, 1978
4

Choice sequences and reduction processes

R. Haberthür
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
english
File:
PDF, 999 KB
english, 1978
5

Compact and ϖ-compact formulas in 51-151-151-1

Bonnie Gold
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
english
File:
PDF, 859 KB
english, 1978
6

Eine beweistheoretische Anwendung partieller stetiger Funktionale

H. Vogel
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
german
File:
PDF, 693 KB
german, 1978
7

On relational selections for complete theories

Klaus Kaiser
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
english
File:
PDF, 544 KB
english, 1978
8

Charakterisierung der Aufzählungsreduzierbarkeit

Friedrich von Hebeisen
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
german
File:
PDF, 410 KB
german, 1978
10

Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen

Egon Börger
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
german
File:
PDF, 208 KB
german, 1978
11

The operator gap theorem in α-recursion theory

Robert A. Di Paola
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
english
File:
PDF, 928 KB
english, 1978
12

Équivalence naturelle et formules logiques en théorie des catégories

Georges Blanc
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
french
File:
PDF, 434 KB
french, 1978
13

A new type assignment for λ-terms

M. Coppo, M. Dezani-Ciancaglini
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
english
File:
PDF, 973 KB
english, 1978
15

Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen

H. Vogel
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
german
File:
PDF, 441 KB
german, 1978
16

Interpretationen der Heyting-Arithmetik endlicher Typen

Martin Stein
Journal:
Archive for Mathematical Logic
Year:
1978
Language:
german
File:
PDF, 611 KB
german, 1978