Henkin sentences and local reflection principles for Rosser provability (Q892168): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2015.10.002
@@ Property / DOI: 10.1016/j.apal.2015.10.002 / rank @@
-Normal rank
@@ 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.1016/j.apal.2015.10.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2148793401
@@ Property / OpenAlex ID: W2148793401 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability conditions on Rosser's provability predicates
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Arithmetic with a local reflection principle for Rosser provability formulas
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+SELF-REFERENCE IN ARITHMETIC II
@@ Property / cites work: SELF-REFERENCE IN ARITHMETIC II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5823280
@@ Property / cites work: Q5823280 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+Q4103079
@@ Property / cites work: Q4103079 / rank @@
+Normal rank
@@ Property / cites work @@
+Rosser-type undecidable sentences based on Yablo's paradox
+Normal rank
@@ Property / cites work @@
+On Partially Conservative Sentences and Interpretability
+Normal rank
@@ Property / cites work @@
+Q4354788
@@ Property / cites work: Q4354788 / rank @@
+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 @@
+On Rosser's Provability Predicate
@@ Property / cites work: On Rosser's Provability Predicate / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating self-referential statements
@@ Property / cites work: Calculating self-referential statements / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2015.10.002
@@ Property / DOI: 10.1016/J.APAL.2015.10.002 / rank @@
+Normal rank