Undecidability vs transfinite induction for the consistency of hyperarithmetical sets Salvatore CaporasoGiovanni Pani OriginalPaper Pages: 19 - 26
Prefix classes of krom formulae with identity Stal O. AanderaaEgon BörgerYuri Gurevich OriginalPaper Pages: 43 - 49
Some diophantine forms of gödel's theorem Verena H. DysonJames P. JonesJohn C. Shepherdson OriginalPaper Pages: 51 - 60
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions W. Pohlers OriginalPaper Pages: 69 - 87