Reflection calculus and conservativity spectra (Q5377088): Difference between revisions

@@ Property / author @@
+Lev D. Beklemishev
@@ Property / author: Lev D. Beklemishev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated local reflection versus iterated consistency
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis by iterated reflection
@@ Property / cites work: Proof-theoretic analysis by iterated reflection / rank @@
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+Q5494229
@@ Property / cites work: Q5494229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419872
@@ Property / cites work: Q5419872 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive provability logic for uniform reflection principles
+Normal rank
@@ Property / cites work @@
+Proof Theoretic Analysis by Iterated Reflection
@@ Property / cites work: Proof Theoretic Analysis by Iterated Reflection / rank @@
+Normal rank
@@ Property / cites work @@
+On the reflection calculus with partial conservativity operators
+Normal rank
@@ Property / cites work @@
+On the reduction property for GLP-algebras
@@ Property / cites work: On the reduction property for GLP-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Strictly Positive Logics and Word Rewriting Systems
+Normal rank
@@ Property / cites work @@
+A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
+Normal rank
@@ Property / cites work @@
+On provability logics with linearly ordered modalities
+Normal rank
@@ Property / cites work @@
+A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
+Normal rank
@@ Property / cites work @@
+On some slowly terminating term rewriting systems
@@ Property / cites work: On some slowly terminating term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+On the positive fragment of the polymodal provability logic GLP
+Normal rank
@@ Property / cites work @@
+The Worm Calculus
@@ Property / cites work: The Worm Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215636
@@ Property / cites work: Q4215636 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Models of transfinite provability logic
@@ Property / cites work: Models of transfinite provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new principle in the interpretability logic of all reasonable arithmetical theories
+Normal rank
@@ Property / cites work @@
+The logic of \(\Pi_ 1\)-conservativity
@@ Property / cites work: The logic of \(\Pi_ 1\)-conservativity / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of \(\Pi_ 1\)-conservativity continued
@@ Property / cites work: The logic of \(\Pi_ 1\)-conservativity continued / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Semantics for the Turing Schmerl Calculus
+Normal rank
@@ Property / cites work @@
+A Topological Study of the Closed Fragment of GLP
@@ Property / cites work: A Topological Study of the Closed Fragment of GLP / rank @@
+Normal rank
@@ Property / cites work @@
+On strong provability predicates and the associated modal logics
+Normal rank
@@ Property / cites work @@
+Semilattices with closure
@@ Property / cites work: Semilattices with closure / rank @@
+Normal rank
@@ Property / cites work @@
+Turing-Taylor expansions for arithmetic theories
@@ Property / cites work: Turing-Taylor expansions for arithmetic theories / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+On elementary theories of ordinal notation systems based on reflection principles
+Normal rank
@@ Property / cites work @@
+Q3085172
@@ Property / cites work: Q3085172 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210640
@@ Property / cites work: Q4210640 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3100936774
@@ Property / OpenAlex ID: W3100936774 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129329832
@@ Property / Wikidata QID: Q129329832 / rank @@
+Normal rank