Ordinal analysis by transformations (Q1006618): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2008.09.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2100815019
@@ Property / OpenAlex ID: W2100815019 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
+Normal rank
@@ Property / cites work @@
+Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793023
@@ Property / cites work: Q4793023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040375
@@ Property / cites work: Q4040375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041187
@@ Property / cites work: Q3041187 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
+Normal rank
@@ Property / cites work @@
+Q4215633
@@ Property / cites work: Q4215633 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems
+Normal rank
@@ Property / cites work @@
+Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Well-ordering proofs for Martin-Löf type theory
@@ Property / cites work: Well-ordering proofs for Martin-Löf type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4773683
@@ Property / cites work: Q4773683 / rank @@
+Normal rank