Unfolding Schematic Systems (Q5214786): Difference between revisions

@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of Proof-Theoretic Strength Ψ (Γ<sub>Ω</sub> +1)
+Normal rank
@@ Property / cites work @@
+Q4934292
@@ Property / cites work: Q4934292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+A feasible theory of truth over combinatory algebra
+Normal rank
@@ Property / cites work @@
+Q4981445
@@ Property / cites work: Q4981445 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893132
@@ Property / cites work: Q4893132 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational set theory and small large cardinals
@@ Property / cites work: Operational set theory and small large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+The Operational Perspective: Three Routes
@@ Property / cites work: The Operational Perspective: Three Routes / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness along paths in progressions of theories
+Normal rank
@@ Property / cites work @@
+The unfolding of non-finitist arithmetic
@@ Property / cites work: The unfolding of non-finitist arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+UNFOLDING FINITIST ARITHMETIC
@@ Property / cites work: UNFOLDING FINITIST ARITHMETIC / rank @@
+Normal rank
@@ Property / cites work @@
+Q3487327
@@ Property / cites work: Q3487327 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite Progressions: A Second Look at Completeness
+Normal rank
@@ Property / cites work @@
+Q3997237
@@ Property / cites work: Q3997237 / rank @@
+Normal rank
@@ Property / cites work @@
+On Feferman's operational set theory \textsf{OST}
@@ Property / cites work: On Feferman's operational set theory \textsf{OST} / rank @@
+Normal rank
@@ Property / cites work @@
+Q5513756
@@ Property / cites work: Q5513756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5608740
@@ Property / cites work: Q5608740 / 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 @@
+The role of parameters in bar rule and bar induction
+Normal rank
@@ Property / cites work @@
+Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
+Normal rank
@@ Property / cites work @@
+Herbrand analyses
@@ Property / cites work: Herbrand analyses / rank @@
+Normal rank
@@ Property / cites work @@
+The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule
+Normal rank
@@ Property / cites work @@
+Nested recursion
@@ Property / cites work: Nested recursion / rank @@
+Normal rank