Epsilon-substitution method for the ramified language and # 1 -comprehension rule (1999)
by
Grigori Mints
,
Sergei Tupailo
| Venue: | Logic and Foundations of Mathematics |
| Citations: | 5 - 1 self |
BibTeX
@INPROCEEDINGS{Mints99epsilon-substitutionmethod,
author = {Grigori Mints and Sergei Tupailo},
title = {Epsilon-substitution method for the ramified language and # 1 -comprehension rule},
booktitle = {Logic and Foundations of Mathematics},
year = {1999},
pages = {107--130},
publisher = {Kluwer Academic Publishers}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We extend to Ramified Analysis the definition and termination proof of Hilbert’s ɛsubstitution method. This forms a base for future extensions to predicatively reducible subsystems of analysis. First such system treated here is second order arithmetic with ∆1 1-comprehension rule.
