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

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ 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.1007/978-3-319-22102-1_26
+Normal rank
@@ Property / OpenAlex ID @@
+W2396379022
@@ Property / OpenAlex ID: W2396379022 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2945651