|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
14 results found
| no | title | author | magazine | year | volume | issue | page(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. |
article |
|
| 2 | A simple proof of second-order strong normalization with permutative conversions |
Tatsuta, Makoto |
2005 |
136 | 1-2 |
p. 134-155 22 p. |
article |
|
| 3 | A term calculus for (co-)recursive definitions on streamlike data structures |
Buchholz, Wilfried |
2005 |
136 | 1-2 |
p. 75-90 16 p. |
article |
|
| 4 | Contents |
2005 |
136 | 1-2 |
p. vi- 1 p. |
article |
||
| 5 | Controlling witnesses |
Baaz, Matthias |
2005 |
136 | 1-2 |
p. 22-29 8 p. |
article |
|
| 6 | Editorial Board |
2005 |
136 | 1-2 |
p. ii- 1 p. |
article |
||
| 7 | Ideas in the epsilon substitution method for Π 1 0 -FIX |
Arai, Toshiyasu |
2005 |
136 | 1-2 |
p. 3-21 19 p. |
article |
|
| 8 | Inductive definitions over a predicative arithmetic |
Wainer, Stanley S. |
2005 |
136 | 1-2 |
p. 175-188 14 p. |
article |
|
| 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. |
article |
|
| 10 | Preface |
Beckmann, Arnold |
2005 |
136 | 1-2 |
p. 1-2 2 p. |
article |
|
| 11 | Reflections on reflections in explicit mathematics |
Jäger, Gerhard |
2005 |
136 | 1-2 |
p. 116-133 18 p. |
article |
|
| 12 | Remarks on applicative theories |
Cantini, Andrea |
2005 |
136 | 1-2 |
p. 91-115 25 p. |
article |
|
| 13 | Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory |
Rathjen, Michael |
2005 |
136 | 1-2 |
p. 156-174 19 p. |
article |
|
| 14 | Separation results for the size of constant-depth propositional proofs |
Beckmann, Arnold |
2005 |
136 | 1-2 |
p. 30-55 26 p. |
article |
14 results found