Epsilon-substitution method for the ramified language and $Δ^1_1$-comprehension rule

TitleEpsilon-substitution method for the ramified language and $Δ^1_1$-comprehension rule
Publication TypeConference Paper
Year of Publication1999
AuthorsMints, G, Tupailo, S
EditorCantini, A, Casari, E, Minari, P
Conference NameLogic and Foundation of Mathematics
Pagination107-130
PublisherKluwer