Exact bounds on epsilon processes
Abstract
In this paper we show that the lengths of the approximating processes in epsilon substitution method are calculable by ordinal recursions in an optimal way.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2010
- DOI:
- arXiv:
- arXiv:1005.2003
- Bibcode:
- 2010arXiv1005.2003A
- Keywords:
-
- Mathematics - Logic;
- 03F30
- E-Print:
- Archive for Mathematical Logic vol.50(2011), pp. 445-458