The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2154189201
@@ Property / OpenAlex ID: W2154189201 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.12674
@@ Property / arXiv ID: 2104.12674 / rank @@
+Normal rank
@@ Property / cites work @@
+A compendium of continuous lattices in MIZAR
@@ Property / cites work: A compendium of continuous lattices in MIZAR / rank @@
+Normal rank
@@ Property / cites work @@
+On computer-assisted proofs in ordinal number theory
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Set theory for verification. I: From foundations to functions
+Normal rank
@@ Property / cites work @@
+Set theory for verification. II: Induction and recursion
+Normal rank
@@ Property / cites work @@
+Q4809073
@@ Property / cites work: Q4809073 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf
+Normal rank
@@ Property / cites work @@
+Automated deduction in von Neumann-Bernays-Gödel set theory
+Normal rank
@@ Property / DBLP publication ID @@
+conf/cie/Paulson08
@@ Property / DBLP publication ID: conf/cie/Paulson08 / rank @@
+Normal rank