A step towards absolute versions of metamathematical results (Q6150669): Difference between revisions

@@ Property / cites work @@
+Mathematical Logic and Computation
@@ Property / cites work: Mathematical Logic and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specifications of computable and semicomputable data types
+Normal rank
@@ Property / cites work @@
+Q5827040
@@ Property / cites work: Q5827040 / rank @@
+Normal rank
@@ Property / cites work @@
+Philosophy and Model Theory
@@ Property / cites work: Philosophy and Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+String theory
@@ Property / cites work: String theory / rank @@
+Normal rank
@@ Property / cites work @@
+Zionist Internationalism through Number Theory: Edmund Landau at the Opening of the Hebrew University in 1925
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / 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 @@
+Q4698612
@@ Property / cites work: Q4698612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3511020
@@ Property / cites work: Q3511020 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
+Normal rank
@@ Property / cites work @@
+Varieties of self-reference in metamathematics
@@ Property / cites work: Varieties of self-reference in metamathematics / rank @@
+Normal rank
@@ Property / cites work @@
+SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / 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 @@
+Self-reference and the Languages of Arithmetic
@@ Property / cites work: Self-reference and the Languages of Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093483
@@ Property / cites work: Q3093483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3409073
@@ Property / cites work: Q3409073 / 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 @@
+Q3586892
@@ Property / cites work: Q3586892 / 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 @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013970
@@ Property / cites work: Q4013970 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+REFERENCE IN ARITHMETIC
@@ Property / cites work: REFERENCE IN ARITHMETIC / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Numerical Analysis
@@ Property / cites work: An Introduction to Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Languages in which self reference is possible
@@ Property / cites work: Languages in which self reference is possible / 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 @@
+Q4309515
@@ Property / cites work: Q4309515 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite sets and Gödel's incompleteness theorems
@@ Property / cites work: Finite sets and Gödel's incompleteness theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank
@@ Property / cites work @@
+Text structure and proof structure
@@ Property / cites work: Text structure and proof structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342078
@@ Property / cites work: Q4342078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5393646
@@ Property / cites work: Q5393646 / rank @@
+Normal rank
@@ Property / cites work @@
+Can We Make the Second Incompleteness Theorem Coordinate Free?
+Normal rank
@@ Property / cites work @@
+The Second Incompleteness Theorem: Reflections and Ruminations
+Normal rank