A categorical construction of Bachmann–Howard fixed points (Q5205443): Difference between revisions

@@ Property / DOI @@
-.1112/blms.12285
@@ Property / DOI: 10.1112/blms.12285 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2891361014
@@ Property / OpenAlex ID: W2891361014 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06769
@@ Property / arXiv ID: 1809.06769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071232
@@ Property / cites work: Q4071232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4674788
@@ Property / cites work: Q4674788 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Pi_1^1\)-comprehension as a well-ordering principle
+Normal rank
@@ Property / cites work @@
+Computable aspects of the Bachmann–Howard principle
+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 @@
+Q5625138
@@ Property / cites work: Q5625138 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic characterization of the primitive recursive set functions
+Normal rank
@@ Property / cites work @@
+Q3464624
@@ Property / cites work: Q3464624 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Q3960692
@@ Property / cites work: Q3960692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / DOI @@
+.1112/BLMS.12285
@@ Property / DOI: 10.1112/BLMS.12285 / rank @@
+Normal rank