메뉴 건너뛰기
Formalized Mathematics
Volumn 15, Issue 4, 2007, Pages 171-174
Arrow's impossibility theorem
Author keywords

[No Author keywords available]
Indexed keywords

EID: 61949188942     PISSN: 14262630     EISSN: 18989934     Source Type: Journal    
DOI: 10.2478/v10037-007-0020-9     Document Type: Article
Times cited : (17)
References (13)
  • 1
    • 0347473190 scopus 로고
    • The ordinal numbers
    • Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(2):377-382, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.2 , pp. 377-382
    • Bancerek, G.1
  • 2
    • 14244269735 scopus 로고
    • Functions and their basic properties
    • Czesł;aw Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 55-65
    • Byliński, C.1
  • 3
    • 35248813955 scopus 로고
    • Functions from a set to a set
    • Czesł;aw Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 153-164
    • Byliński, C.1
  • 4
    • 0013134253 scopus 로고
    • Some basic properties of sets
    • Czesł;aw Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 47-53
    • Byliński, C.1
  • 6
    • 0003542575 scopus 로고    scopus 로고
    • Cowles Foundation Discussion Papers 1123R3 Cowles Foundation Yale University, April
    • John Geanakoplos. Three brief proofs of arrow's impossibility theorem. Cowles Foundation Discussion Papers 1123R3, Cowles Foundation, Yale University, April 1996. Available at http://ideas.repec.org/p/cwl/cwldpp/1123r3.html
    • (1996) Three Brief Proofs of Arrow's Impossibility Theorem
    • Geanakoplos, J.1
  • 8
    • 14244266903 scopus 로고
    • Function domains and Fránkel operator
    • Andrzej Trybulec. Function domains and Fránkel operator. Formalized Mathematics, 1(3):495-500, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.3 , pp. 495-500
    • Trybulec, A.1
  • 9
    • 0013141956 scopus 로고
    • Tarski Grothendieck set theory
    • Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 9-11
    • Trybulec, A.1
  • 10
    • 67651028261 scopus 로고
    • Properties of subsets
    • Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 67-71
    • Trybulec, Z.1
  • 11
    • 14244266134 scopus 로고
    • Relations and their basic properties
    • Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 73-83
    • Woronowicz, E.1
  • 12
    • 14244255698 scopus 로고
    • Relations defined on sets
    • Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 181-186
    • Woronowicz, E.1

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.