Modelling the Pulsating Process |
| |
| Authors: | E. V. Gailit |
| |
| Affiliation: | (1) Pirogova 16-104, Novosibirsk, 630090, Russia |
| |
| 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]. |
| |
| Keywords: | jump partial oracle second-order arithmetic iterated Kleene computability |
| 本文献已被 SpringerLink 等数据库收录！ |
