The logic of linear tolerance (Q1207342): Difference between revisions

@@ Property / cites work @@
+The interpretability logic of Peano arithmetic
@@ Property / cites work: The interpretability logic of Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694209
@@ Property / cites work: Q4694209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3199395
@@ Property / cites work: Q3199395 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially Conservative Extensions of Arithmetic
@@ Property / cites work: Partially Conservative Extensions of Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Interpretations
@@ Property / cites work: Relative Interpretations / 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 @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank