Volume 37, Issue 1 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 37, Issue 1

December 1997

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Non-definability of the Ackermann function with type 1 partial primitive recursion
Karl-Heinz Niggl
Pages: 1 - 13
The number of lines in Frege proofs with substitution
Alasdair Urquhart
Pages: 15 - 19
An intuitionistic fixed point theory
Wilfried Buchholz
Pages: 21 - 27
Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road
Marek Balcerzak
Krzysztof Ciesielski
Tomasz Natkaniec
Pages: 29 - 35
Fragments of \(HA\) based on \(\Sigma_1\)-induction
Kai F. Wehmeier
Pages: 37 - 49
The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic
Mitsuru Tada
Makoto Tatsuta
Pages: 51 - 57
On the Jordan-Hölder decomposition of proof nets
Quintijn Puite
Harold Schellinx
Pages: 59 - 65