nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
|
Weiermann, Andreas |
|
2005 |
136 |
1-2 |
p. 189-218 30 p. |
artikel |
2 |
A simple proof of second-order strong normalization with permutative conversions
|
Tatsuta, Makoto |
|
2005 |
136 |
1-2 |
p. 134-155 22 p. |
artikel |
3 |
A term calculus for (co-)recursive definitions on streamlike data structures
|
Buchholz, Wilfried |
|
2005 |
136 |
1-2 |
p. 75-90 16 p. |
artikel |
4 |
Contents
|
|
|
2005 |
136 |
1-2 |
p. vi- 1 p. |
artikel |
5 |
Controlling witnesses
|
Baaz, Matthias |
|
2005 |
136 |
1-2 |
p. 22-29 8 p. |
artikel |
6 |
Editorial Board
|
|
|
2005 |
136 |
1-2 |
p. ii- 1 p. |
artikel |
7 |
Ideas in the epsilon substitution method for Π 1 0 -FIX
|
Arai, Toshiyasu |
|
2005 |
136 |
1-2 |
p. 3-21 19 p. |
artikel |
8 |
Inductive definitions over a predicative arithmetic
|
Wainer, Stanley S. |
|
2005 |
136 |
1-2 |
p. 175-188 14 p. |
artikel |
9 |
On the limit existence principles in elementary arithmetic and Σ n 0 -consequences of theories
|
Beklemishev, Lev D. |
|
2005 |
136 |
1-2 |
p. 56-74 19 p. |
artikel |
10 |
Preface
|
Beckmann, Arnold |
|
2005 |
136 |
1-2 |
p. 1-2 2 p. |
artikel |
11 |
Reflections on reflections in explicit mathematics
|
Jäger, Gerhard |
|
2005 |
136 |
1-2 |
p. 116-133 18 p. |
artikel |
12 |
Remarks on applicative theories
|
Cantini, Andrea |
|
2005 |
136 |
1-2 |
p. 91-115 25 p. |
artikel |
13 |
Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory
|
Rathjen, Michael |
|
2005 |
136 |
1-2 |
p. 156-174 19 p. |
artikel |
14 |
Separation results for the size of constant-depth propositional proofs
|
Beckmann, Arnold |
|
2005 |
136 |
1-2 |
p. 30-55 26 p. |
artikel |