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

by S Feferman, T Strahm