viii CONTENTS
Computationally based set existence principles
DANIEL LEIV ANT
Hierarchy results for mixed-time
KEN McALOON
Polynomial time equivalence types
A. NERODE and J. B. REMMEL
Program development through proof transformation
FRANK PFENNING
Some models of Scott's theory LC F based on a notion of rate of conver-
gence
RICK STATMAN
Sharply bounded arithmetic and the function
a
..:.1
197
213
221
251
263
GAISI T AKEUTI
281
Radon-nikodym theorem is equivalent to arithmetical comprehension
XIAOKANG YU
289
Previous Page Next Page