![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
We consider the following question for a pair of theories T and S: for which sentences their 1-provability in S is provable in T? The set of all such sentences forms a theory extending S. We give an axiomatization of this theory for the fragments of PA in terms of iterated local reflection schema over S.