SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS (Q6041342): Difference between revisions

@@ Property / cites work @@
+Saying it with numerals
@@ Property / cites work: Saying it with numerals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+SELF-REFERENCE IN ARITHMETIC I
@@ Property / cites work: SELF-REFERENCE IN ARITHMETIC I / 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 @@
+Truth and disquotation
@@ Property / cites work: Truth and disquotation / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and the Languages of Arithmetic
@@ Property / cites work: Self-reference and the Languages of Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821858
@@ Property / cites work: Q4821858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382420
@@ Property / cites work: Q4382420 / rank @@
+Normal rank
@@ Property / cites work @@
+On Godel Sentences and What They Say
@@ Property / cites work: On Godel Sentences and What They Say / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726219
@@ Property / cites work: Q4726219 / rank @@
+Normal rank
@@ Property / cites work @@
+REFERENCE IN ARITHMETIC
@@ Property / cites work: REFERENCE IN ARITHMETIC / rank @@
+Normal rank
@@ Property / cites work @@
+Alethic reference
@@ Property / cites work: Alethic reference / rank @@
+Normal rank
@@ Property / cites work @@
+Reference and truth
@@ Property / cites work: Reference and truth / rank @@
+Normal rank
@@ Property / cites work @@
+Cuts, consistency statements and interpretations
@@ Property / cites work: Cuts, consistency statements and interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and Computations
@@ Property / cites work: Proofs and Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Acceptable notation
@@ Property / cites work: Acceptable notation / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Inference and self-reference
@@ Property / cites work: Inference and self-reference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342078
@@ Property / cites work: Q4342078 / rank @@
+Normal rank
@@ Property / cites work @@
+On the ambiguation of Polish notation
@@ Property / cites work: On the ambiguation of Polish notation / rank @@
+Normal rank