The strength of replacement in weak arithmetic. submitted (2003)

by S Cook, N Thapen