| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118841 | Annals of Pure and Applied Logic | 2005 | 19 Pages |
Abstract
In this note we report recent progress on the subject, and expound basic ideas of the epsilon substitution method à la Ackermann for the theory Π10-FIX of non-monotonic Π10 inductive definitions.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Toshiyasu Arai,