Independent numerations of theories and recursive progressions (Q1204765): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / 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 @@
+Q3731573
@@ Property / cites work: Q3731573 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Modal logics with several operators and probability interpretations
+Normal rank
@@ Property / cites work @@
+Provability logics for natural Turing progressions of arithmetical theories
+Normal rank
@@ Property / cites work @@
+Provability in finite subtheories of PA and relative interpretability: a modal investigation
+Normal rank
@@ Property / cites work @@
+Calculating self-referential statements
@@ Property / cites work: Calculating self-referential statements / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical interpretations of dynamic logic
@@ Property / cites work: Arithmetical interpretations of dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964565
@@ Property / cites work: Q3964565 / rank @@
+Normal rank