Functorial bounds for cut elimination inL βω . II Marie-Christine Ferbus OriginalPaper Pages: 13 - 20
Majorizing provably recursive functions in fragments of PA Andrea Cantini OriginalPaper Pages: 21 - 31
Completeness of a cut-free calculus with equality and function constants Mitio Takano OriginalPaper Pages: 37 - 41
Eine Bemerkung zum Aufsatz „Der Fundamentalsatz der Algebra und der Intuitionismus“ von H. Kneser D. van Dalen OriginalPaper Pages: 43 - 44
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume Stephen G. Simpson OriginalPaper Pages: 45 - 65
König's lemma, the ω-Rule and primitive recursive arithmetic E. G. K. López-Escobar OriginalPaper Pages: 67 - 74
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen Kurt SchütteStephen G. Simpson OriginalPaper Pages: 75 - 89
Application of a Tauberian theorem to finite model theory Kevin J. Compton OriginalPaper Pages: 91 - 98
Cupping and noncapping in the r.e. weak truth table and turing degrees Klaus Ambos-Spies OriginalPaper Pages: 109 - 126
A theory of local negation: The model and some applications Yvon Gauthier OriginalPaper Pages: 127 - 143
A fixed point theorem equivalent to the axiom of choice Alexander Abian OriginalPaper Pages: 173 - 174
Strong normalization of barrecursive terms without using infinite terms Marc Bezem OriginalPaper Pages: 175 - 181
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes Günter Baigger OriginalPaper Pages: 183 - 188