Abstract:
We continue research on machine-oracle modelling of second-order arithmetic. The pulsating process described in [1], [2] is simulated using oracles of so-called autonomous hierarchies. The outcome is constructing a generalized constructive model for a fragment of second-order arithmetic described in [2].