Transfinite Constructions in Classical Type Theory (Q2945651): Difference between revisions

@@ Property / cites work @@
+On the Bourbaki–Witt principle in toposes
@@ Property / cites work: On the Bourbaki–Witt principle in toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying assembly with formal security proofs: the case of BBS
+Normal rank
@@ Property / cites work @@
+Doppelte Hülleninduktion und ein Satz von Hessenberg
+Normal rank
@@ Property / cites work @@
+Q3257866
@@ Property / cites work: Q3257866 / rank @@
+Normal rank
@@ Property / cites work @@
+Zermelo’s Well-Ordering Theorem in Type Theory
@@ Property / cites work: Zermelo’s Well-Ordering Theorem in Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
+Normal rank