No escape from Vardanyan's theorem (Q2501168): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2094842664
@@ Property / OpenAlex ID: W2094842664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+On the provability logic of bounded arithmetic
@@ Property / cites work: On the provability logic of bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
+Normal rank
@@ Property / cites work @@
+SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
+Normal rank
@@ Property / cites work @@
+ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
@@ Property / cites work: ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS / rank @@
+Normal rank
@@ Property / cites work @@
+On arithmetic complexity of certain constructive logics
+Normal rank
@@ Property / cites work @@
+Modal analysis of generalized rosser sentences
@@ Property / cites work: Modal analysis of generalized rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
+Normal rank
@@ Property / cites work @@
+The unprovability of small inconsistency. A study of local and global interpretability
+Normal rank
@@ Property / cites work @@
+Faith \& falsity
@@ Property / cites work: Faith \& falsity / rank @@
+Normal rank
@@ Property / cites work @@
+A small reflection principle for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Q4376080
@@ Property / cites work: Q4376080 / rank @@
+Normal rank
@@ Property / cites work @@
+Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
+Normal rank