Formalizing Arrow's theorem (Q1040010): Difference between revisions

@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Arrow Gibbard Satterthwaite
@@ Property / describes a project that uses: Arrow Gibbard Satterthwaite / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2143444807
@@ Property / OpenAlex ID: W2143444807 / 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 @@
+Q3075242
@@ Property / cites work: Q3075242 / rank @@
+Normal rank
@@ Property / cites work @@
+Three brief proofs of Arrow's impossibility theorem
+Normal rank
@@ Property / cites work @@
+Towards Self-verification of HOL Light
@@ Property / cites work: Towards Self-verification of HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790669
@@ Property / cites work: Q4790669 / rank @@
+Normal rank
@@ Property / cites work @@
+Social choice theory in HOL. Arrow and Gibbard-Satterthwaite
+Normal rank
@@ Property / cites work @@
+Arrow's theorem and the Gibbard-Satterthwaite theorem: A unified approach
+Normal rank
@@ Property / cites work @@
+Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem
+Normal rank
@@ Property / cites work @@
+Q4681553
@@ Property / cites work: Q4681553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790672
@@ Property / cites work: Q4790672 / rank @@
+Normal rank