PREDICATIVE COLLAPSING PRINCIPLES (Q5107241): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2995344442
@@ Property / OpenAlex ID: W2995344442 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07448
@@ Property / arXiv ID: 1906.07448 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and well-ordering principles: a pilot study
+Normal rank
@@ Property / cites work @@
+A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
+Normal rank
@@ Property / cites work @@
+\(\Pi_1^1\)-comprehension as a well-ordering principle
+Normal rank
@@ Property / cites work @@
+A categorical construction of Bachmann–Howard fixed points
+Normal rank
@@ Property / cites work @@
+Computable aspects of the Bachmann–Howard principle
+Normal rank
@@ Property / cites work @@
+HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
+Normal rank
@@ Property / cites work @@
+Derivatives of normal functions in reverse mathematics
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and ordinal exponentiation
@@ Property / cites work: Reverse mathematics and ordinal exponentiation / rank @@
+Normal rank
@@ Property / cites work @@
+The Veblen functions for computability theorists
@@ Property / cites work: The Veblen functions for computability theorists / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464624
@@ Property / cites work: Q3464624 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Ordering Principles and Bar Induction
@@ Property / cites work: Well-Ordering Principles and Bar Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Q2906572
@@ Property / cites work: Q2906572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite induction within Peano arithmetic
@@ Property / cites work: Transfinite induction within Peano arithmetic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5107241