AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS (Q6123580): Difference between revisions

@@ Property / cites work @@
+Applications of cut-free infinitary derivations to generalized recursion theory
+Normal rank
@@ Property / cites work @@
+Induction rules, reflection principles, and provably recursive functions
+Normal rank
@@ Property / cites work @@
+Notation systems for infinitary derivations
@@ Property / cites work: Notation systems for infinitary derivations / rank @@
+Normal rank
@@ Property / cites work @@
+The incompleteness theorems after 70 years
@@ Property / cites work: The incompleteness theorems after 70 years / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness and jump hierarchies
@@ Property / cites work: Incompleteness and jump hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+REFLECTION RANKS AND ORDINAL ANALYSIS
@@ Property / cites work: REFLECTION RANKS AND ORDINAL ANALYSIS / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. An introduction
@@ Property / cites work: Proof theory. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215633
@@ Property / cites work: Q4215633 / rank @@
+Normal rank
@@ Property / cites work @@
+The role of parameters in bar rule and bar induction
+Normal rank
@@ Property / cites work @@
+ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP
@@ Property / cites work: ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP / rank @@
+Normal rank
@@ Property / cites work @@
+From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference
+Normal rank