| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Workshop on Proof Theory, Modal Logic and Reflection Principles
|
|||
|
|
|||
|
Student session
|
|||
|
Axiomatizing provable 1-provability E. Kolmakov |
|||
|
Аннотация: 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. Язык доклада: английский |
|||