Reflection calculus and conservativity spectra
From MaRDI portal
Publication:5377088
DOI10.1070/RM9843OpenAlexW3100936774WikidataQ129329832 ScholiaQ129329832MaRDI QIDQ5377088
Publication date: 23 May 2019
Published in: Russian Mathematical Surveys (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1703.09314
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Reflection algebras and conservation results for theories of iterated truth, Deducibility and independence in Beklemishev's autonomous provability calculus, Conservativity spectra and Joosten-Fernández model, REFLECTION RANKS AND ORDINAL ANALYSIS
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On elementary theories of ordinal notation systems based on reflection principles
- Positive provability logic for uniform reflection principles
- On provability logics with linearly ordered modalities
- Turing-Taylor expansions for arithmetic theories
- The logic of \(\Pi_ 1\)-conservativity
- Self-reference and modal logic
- The logic of \(\Pi_ 1\)-conservativity continued
- Proof-theoretic analysis by iterated reflection
- On the reflection calculus with partial conservativity operators
- A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
- Provability algebras and proof-theoretic ordinals. I
- Iterated local reflection versus iterated consistency
- On the reduction property for GLP-algebras
- On the positive fragment of the polymodal provability logic GLP
- Semilattices with closure
- A new principle in the interpretability logic of all reasonable arithmetical theories
- A Topological Study of the Closed Fragment of GLP
- Arithmetization of metamathematics in a general setting
- Reflection principles and provability algebras in formal arithmetic
- On some slowly terminating term rewriting systems
- Proof Theoretic Analysis by Iterated Reflection
- A Note on Strictly Positive Logics and Word Rewriting Systems
- The Worm Calculus
- Relational Semantics for the Turing Schmerl Calculus
- On strong provability predicates and the associated modal logics
- Models of transfinite provability logic
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
- A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
- Transfinite recursive progressions of axiomatic theories
- Systems of Logic Based on Ordinals†