|
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 |