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

Search all Archive for Mathematical Logic articles

Volume 22, Issue 1-2

June 1980

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Interpolation in Logiken monotoner systeme
H. -D. Ebbinghaus
M. Ziegler
OriginalPaper Pages: 1 - 17
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets
Salvatore Caporaso
Giovanni Pani
OriginalPaper Pages: 19 - 26
Eine Variante Des OrdinalzahlbezeichnungssystemsΣ
H. Vogel
OriginalPaper Pages: 27 - 41
Prefix classes of krom formulae with identity
Stal O. Aanderaa
Egon Börger
Yuri Gurevich
OriginalPaper Pages: 43 - 49
Some diophantine forms of gödel's theorem
Verena H. Dyson
James P. Jones
John C. Shepherdson
OriginalPaper Pages: 51 - 60
Interpolation, compactness and JEP in soft model theory
Daniele Mundici
OriginalPaper Pages: 61 - 67
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
W. Pohlers
OriginalPaper Pages: 69 - 87