ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552): Difference between revisions

@@ Property / arXiv ID @@
+.08392
@@ Property / arXiv ID: 1803.08392 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's Second incompleteness theorem for <i>Q</i>
+Normal rank
@@ Property / cites work @@
+The Church-Turing Thesis over Arbitrary Domains
@@ Property / cites work: The Church-Turing Thesis over Arbitrary Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Three Paths to Effectiveness
@@ Property / cites work: Three Paths to Effectiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+String theory
@@ Property / cites work: String theory / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's program. An essay on mathematical instrumentalism
+Normal rank
@@ Property / cites work @@
+What Does Gödel's Second Theorem Say†
@@ Property / cites work: What Does Gödel's Second Theorem Say† / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Proof lengths for instances of the Paris-Harrington principle
+Normal rank
@@ Property / cites work @@
+Q3720554
@@ Property / cites work: Q3720554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / 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 @@
+Q5611757
@@ Property / cites work: Q5611757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040058
@@ Property / cites work: Q4040058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+A NOTE ON DERIVABILITY CONDITIONS
@@ Property / cites work: A NOTE ON DERIVABILITY CONDITIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382420
@@ Property / cites work: Q4382420 / 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 @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+A taxonomy of deviant encodings
@@ Property / cites work: A taxonomy of deviant encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+A concise introduction to mathematical logic
@@ Property / cites work: A concise introduction to mathematical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Church's thesis and the conceptual analysis of computability
+Normal rank
@@ Property / cites work @@
+Giving an Account of Provability Within a Theory
@@ Property / cites work: Giving an Account of Provability Within a Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Acceptable notation
@@ Property / cites work: Acceptable notation / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects†
+Normal rank
@@ Property / cites work @@
+Interlude: About the First Theorem
@@ Property / cites work: Interlude: About the First Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003735
@@ Property / cites work: Q4003735 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite induction within Peano arithmetic
@@ Property / cites work: Transfinite induction within Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342078
@@ Property / cites work: Q4342078 / rank @@
+Normal rank
@@ Property / cites work @@
+Can We Make the Second Incompleteness Theorem Coordinate Free?
+Normal rank
@@ Property / cites work @@
+Q3464615
@@ Property / cites work: Q3464615 / rank @@
+Normal rank
@@ Property / cites work @@
+The Second Incompleteness Theorem: Reflections and Ruminations
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank