| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Workshop on Proof Theory, Modal Logic and Reflection Principles
|
|||
|
|
|||
|
Student session
|
|||
|
Axiomatizing provable 1-provability E. Kolmakov |
|||
|
Abstract: 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. Language: English |
|||