MÜNCHHAUSEN PROVABILITY
From MaRDI portal
Publication:5015723
DOI10.1017/jsl.2021.44OpenAlexW2970741650WikidataQ120373609 ScholiaQ120373609MaRDI QIDQ5015723
Publication date: 9 December 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1908.11264
modal logicordinal analysisprovability logicssecond order arithmetictransfinite polymodal provability
Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (1)
Cites Work
- On provability logics with linearly ordered modalities
- Topological completeness of the provability logic GLP
- Turing-Taylor expansions for arithmetic theories
- Faith \& falsity
- Reflection and indescribability in the constructible universe
- Provability interpretations of modal logic
- Proof-theoretic analysis by iterated reflection
- The omega-rule interpretation of transfinite provability logic
- Provability algebras and proof-theoretic ordinals. I
- A self-contained provability calculus for \(\varGamma_0\)
- Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 -- July 3, 2015. Proceedings
- The polytopologies of transfinite provability logic
- Pi^0_1 ordinal analysis beyond first order arithmetic
- A Topological Study of the Closed Fragment of GLP
- Turing Jumps Through Provability
- Reflection principles and provability algebras in formal arithmetic
- Well-orders in the transfinite Japaridze algebra
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
- On strong provability predicates and the associated modal logics
- Models of transfinite provability logic
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: MÜNCHHAUSEN PROVABILITY
