Open Access

Arrow's Impossibility Theorem

Freek Wiedijk
Freek Wiedijk
   | Jun 09, 2008
Formalized Mathematics's Cover Image
About this article
Previous Article
Next Article
Cite
Published Online: Jun 09, 2008
Page range: 171 - 174
DOI: https://doi.org/10.2478/v10037-007-0020-9
This content is open access.

A formalization of the first proof from [6].

eISSN:
1898-9934
ISSN:
1426-2630
Language:
English
Publication timeframe:
4 times per year
Journal Subjects:
Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed