SELF-REFERENCE IN ARITHMETIC II (Q5176166): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+Reflection Principles in Fragments of Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+A system of complete and consistent truth
@@ Property / cites work: A system of complete and consistent truth / rank @@
+Normal rank
@@ Property / cites work @@
+A simplification of the completeness proofs for Guaspari and Solovay's R
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on equivalent Rosser sentences
@@ Property / cites work: A remark on equivalent Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Inference and self-reference
@@ Property / cites work: Inference and self-reference / rank @@
+Normal rank
@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / rank @@
+Normal rank
@@ Property / cites work @@
+Peano's smart children: A provability logical study of systems with built-in consistency
+Normal rank
@@ Property / cites work @@
+A smart child of Peano's
@@ Property / cites work: A smart child of Peano's / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s175502031400029x
+Normal rank
@@ Property / OpenAlex ID @@
+W4245481891
@@ Property / OpenAlex ID: W4245481891 / rank @@
+Normal rank