Volume 37; Issue 1

Archive for Mathematical Logic

Volume 37; Issue 1
1

Non-definability of the Ackermann function with type 1 partial primitive recursion

Karl-Heinz Niggl
Journal:
Archive for Mathematical Logic
Year:
1997
Language:
english
File:
PDF, 185 KB
english, 1997
2

The number of lines in Frege proofs with substitution

Alasdair Urquhart
Journal:
Archive for Mathematical Logic
Year:
1997
Language:
english
File:
PDF, 74 KB
english, 1997
3

An intuitionistic fixed point theory

Wilfried Buchholz
Journal:
Archive for Mathematical Logic
Year:
1997
Language:
english
File:
PDF, 111 KB
english, 1997
5

Fragments of(HA)based on(Sigma_1)-induction

Kai F. Wehmeier
Journal:
Archive for Mathematical Logic
Year:
1997
Language:
english
File:
PDF, 141 KB
english, 1997
6

The function(lfloor a/m floor)in sharply bounded arithmetic

Mitsuru Tada, Makoto Tatsuta
Journal:
Archive for Mathematical Logic
Year:
1997
Language:
english
File:
PDF, 95 KB
english, 1997
7

On the Jordan-Hölder decomposition of proof nets

Quintijn Puite, Harold Schellinx
Journal:
Archive for Mathematical Logic
Year:
1997
Language:
english
File:
PDF, 122 KB
english, 1997