Switch to: References

Add citations

You must login to add citations.
  1. Local reflection, definable elements and 1-provability.Evgeny Kolmakov - 2020 - Archive for Mathematical Logic 59 (7-8):979-996.
    In this note we study several topics related to the schema of local reflection \\) and its partial and relativized variants. Firstly, we introduce the principle of uniform reflection with \-definable parameters, establish its relationship with relativized local reflection principles and corresponding versions of induction with definable parameters. Using this schema we give a new model-theoretic proof of the \-conservativity of uniform \-reflection over relativized local \-reflection. We also study the proof-theoretic strength of Feferman’s theorem, i.e., the assertion of 1-provability (...)
    Download  
     
    Export citation  
     
    Bookmark