Volume 17, Issue 3-4 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 17, Issue 3-4

September 1975

Filter by

Volume:

Sort by

Date published:

New to old Old to new

13 articles in this issue

On two complete sets in the analytical and the arithmetical hierarchies
Shlomo Vinner
OriginalPaper Pages: 81 - 84
Liberated versions ofT, S4, andS5
Charles G. Morgan
OriginalPaper Pages: 85 - 90
Various remarks on quasi-universal model classes
Klaus Kaiser
OriginalPaper Pages: 91 - 95
Model-interpretability into trees and applications
Ivan Korec
OriginalPaper Pages: 97 - 104
Diem-Grade Logischer Entscheidungsprobleme
Egon Börger
Klaus Heidler
OriginalPaper Pages: 105 - 111
Definierbare Funktionen imλ-Kalkül mit Typen
Helmut Schwichtenberg
OriginalPaper Pages: 113 - 114
Die mit Nestedstackautomaten Berechenbaren Funktionen sind Elementar
Heinrich Beck
OriginalPaper Pages: 115 - 128
Quasi-axiomatic classes
Klaus Kaiser
OriginalPaper Pages: 129 - 134
Zur Konstruktiven Differenzierbarkeit von Monotonen Berechenbaren Funktionen
Hanke Bremer
Conrad H. H. Reynvaan
OriginalPaper Pages: 135 - 143
On interpolation when function symbols are present
Walter Felscher
OriginalPaper Pages: 145 - 157
Interpolation formulae for predicates and terms which carry their own history
Jürgen Schulte-Mönting
OriginalPaper Pages: 159 - 169
Einführung der NormalfunktionenΘ _a ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung
Kurt Schütte
OriginalPaper Pages: 171 - 178
Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und\(\bar \Theta \left( \omega \right)\)
Wilfried Buchholz
Kurt Schütte
OriginalPaper Pages: 179 - 189