A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1040511342
+Normal rank
@@ Property / OpenAlex ID @@
+W2047679686
@@ Property / OpenAlex ID: W2047679686 / rank @@
+Normal rank
@@ Property / cites work @@
+The interpretability logic of Peano arithmetic
@@ Property / cites work: The interpretability logic of Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of linear tolerance
@@ Property / cites work: The logic of linear tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized notion of weak interpretability and the corresponding modal logic
+Normal rank
@@ Property / cites work @@
+Q4694209
@@ Property / cites work: Q4694209 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of \(\Pi_ 1\)-conservativity
@@ Property / cites work: The logic of \(\Pi_ 1\)-conservativity / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694229
@@ Property / cites work: Q4694229 / rank @@
+Normal rank
@@ Property / cites work @@
+On the proofs of arithmetical completeness for interpretability logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1893136