Volume 16, Issue 1-2 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 16, Issue 1-2

March 1974

Filter by

Volume:

Sort by

Date published:

New to old Old to new

8 articles in this issue

Saturated models of incomplete theories
Robert Fittler
OriginalPaper Pages: 3 - 14
Some categories of models
Robert Fittler
Erratum Pages: 14 - 14
Prädikatenlogik mit partiell definierten Funktionen II
Werner Markwald
OriginalPaper Pages: 15 - 22
Über zwei Bezeichnungssysteme für Ordinalzahlen
Helmut Pfeiffer
OriginalPaper Pages: 23 - 36
Boolean ultrapowers
Klaus Potthoff
OriginalPaper Pages: 37 - 48
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
Justus Diller
OriginalPaper Pages: 49 - 66
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
Egon Börger
OriginalPaper Pages: 67 - 84
On centain decompositions of Gödel numberings
B. Buchberger
OriginalPaper Pages: 85 - 96