On Guaspari's problem about partially conservative sentences (Q2120971): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2022.103087
@@ Property / DOI: 10.1016/j.apal.2022.103087 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4226439024
@@ Property / OpenAlex ID: W4226439024 / rank @@
+Normal rank
@@ Property / cites work @@
+HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Partially Conservative Extensions of Arithmetic
@@ Property / cites work: Partially Conservative Extensions of Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900061
@@ Property / cites work: Q3900061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+On weak completeness of intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+On Partially Conservative Sentences and Interpretability
+Normal rank
@@ Property / cites work @@
+Q4437331
@@ Property / cites work: Q4437331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858265
@@ Property / cites work: Q3858265 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the incompleteness theorem
@@ Property / cites work: A generalization of the incompleteness theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating self-referential statements
@@ Property / cites work: Calculating self-referential statements / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343989
@@ Property / cites work: Q4343989 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2022.103087
@@ Property / DOI: 10.1016/J.APAL.2022.103087 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2120971