On the reduction property for GLP-algebras (Q2358595): Difference between revisions

@@ Property / author @@
-Lev D. Beklemishev
@@ Property / author: Lev D. Beklemishev / rank @@
-Normal rank
@@ 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 / arXiv ID @@
+.00290
@@ Property / arXiv ID: 1606.00290 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection and indescribability in the constructible universe
+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 @@
+Kripke semantics for provability logic GLP
@@ Property / cites work: Kripke semantics for provability logic GLP / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified proof of arithmetical completeness theorem for provability logic GLP
+Normal rank
@@ Property / cites work @@
+Q3081639
@@ Property / cites work: Q3081639 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological completeness of the provability logic GLP
+Normal rank
@@ Property / cites work @@
+Topological Interpretations of Provability Logic
@@ Property / cites work: Topological Interpretations of Provability Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Jumps Through Provability
@@ Property / cites work: Turing Jumps Through Provability / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2358595