Reflecting on incompleteness (Q3981446): Difference between revisions

@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+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 @@
+A system of abstract constructive ordinals
@@ Property / cites work: A system of abstract constructive ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5771243
@@ Property / cites work: Q5771243 / rank @@
+Normal rank
@@ Property / cites work @@
+Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
+Normal rank
@@ Property / cites work @@
+Hilbert's program relativized; Proof-theoretical and foundational reductions
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis, II: Representations of ordinals
+Normal rank