Provability logic: models within models in Peano arithmetic (Q2701199): Difference between revisions

@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+On Godel's Second Incompleteness Theorem
@@ Property / cites work: On Godel's Second Incompleteness Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+The incompleteness theorems after 70 years
@@ Property / cites work: The incompleteness theorems after 70 years / rank @@
+Normal rank
@@ Property / cites work @@
+A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677761
@@ Property / cites work: Q3677761 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of models
@@ Property / cites work: Degrees of models / 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 @@
+On the provability logic of bounded arithmetic
@@ Property / cites work: On the provability logic of bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635418
@@ Property / cites work: Q5635418 / rank @@
+Normal rank