The unfolding of non-finitist arithmetic (in preparation (0)

by S Feferman, T Strahm