Contents
Preface
WILFRIED SIEG
Some theories conservative over intuitionistic arithmetic
MICHAEL BEESON
Ramsey interpreted: A parametric version of Ramsey's theorem
GIANLUIGI BELLIN
Notions of closed subsets of a complete separable metric space in weak
subsystems of second order arithmetic
DOUGLAS K. BROWN
A note on polynomial time computable arithmetic
ix
1
17
39
WILFRIED BUCHHOLZ and WILFRIED SIEG
51
Axiomatizations and conservation results for fragments of bounded arith-
metic
SAMUEL R. BUSS
57
A smash-based hierarchy between PTIME and PSPACE
PETER G. CLOTE
Polymorphic typed lambda-calculi in a type-free axiomatic framework
SOLOMON FEFERMAN
Polynomial time computable arithmetic
FERNANDO FERREIRA
Metaprogramming in SIL
CHRIS GOAD
W K Lo
and orderings of countable abelian groups
KOSTAS HATZIKIRIAKOU and STEPHEN G. SIMPSON
Marriage theorems and reverse mathematics
JEFFRY L. HIRST
vii
85
101
137
157
177
181
Previous Page Next Page