FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117864711> ?p ?o ?g. }

• W2117864711 endingPage "618" @default.
• W2117864711 startingPage "595" @default.
• W2117864711 abstract "In preference aggregation a set of individuals express preferences over a set of alternatives, and these preferences have to be aggregated into a collective preference. When preferences are represented as orders, aggregation procedures are called social welfare functions. Classical results in social choice theory state that it is impossible to aggregate the preferences of a set of individuals under different natural sets of axiomatic conditions. We define a first-order language for social welfare functions and we give a complete axiomatisation for this class, without having the number of individuals or alternatives specified in the language. We are able to express classical axiomatic requirements in our first-order language, giving formal axioms for three classical theorems of preference aggregation by Arrow, by Sen, and by Kirman and Sondermann. We explore to what extent such theorems can be formally derived from our axiomatisations, obtaining positive results for Sen’s Theorem and the Kirman-Sondermann Theorem. For the case of Arrow’s Theorem, which does not apply in the case of infinite societies, we have to resort to fixing the number of individuals with an additional axiom. In the long run, we hope that our approach to formalisation can serve as the basis for a fully automated proof of classical and new theorems in social choice theory." @default.
• W2117864711 created "2016-06-24" @default.
• W2117864711 creator A5037466565 @default.
• W2117864711 creator A5058049693 @default.
• W2117864711 date "2012-07-25" @default.
• W2117864711 modified "2023-09-26" @default.
• W2117864711 title "First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation" @default.
• W2117864711 cites W1514489656 @default.
• W2117864711 cites W1590233219 @default.
• W2117864711 cites W1661099014 @default.
• W2117864711 cites W1767959057 @default.
• W2117864711 cites W1840672264 @default.
• W2117864711 cites W1993313925 @default.
• W2117864711 cites W2012390842 @default.
• W2117864711 cites W2014607560 @default.
• W2117864711 cites W2015111306 @default.
• W2117864711 cites W2017527449 @default.
• W2117864711 cites W2018951330 @default.
• W2117864711 cites W2075963826 @default.
• W2117864711 cites W2102219503 @default.
• W2117864711 cites W2102278383 @default.
• W2117864711 cites W2113597321 @default.
• W2117864711 cites W2116274133 @default.
• W2117864711 cites W2125530148 @default.
• W2117864711 cites W2331984893 @default.
• W2117864711 cites W3101370440 @default.
• W2117864711 cites W3123461587 @default.
• W2117864711 cites W4252380885 @default.
• W2117864711 doi "https://doi.org/10.1007/s10992-012-9240-8" @default.
• W2117864711 hasPublicationYear "2012" @default.
• W2117864711 type Work @default.
• W2117864711 sameAs 2117864711 @default.
• W2117864711 citedByCount "19" @default.
• W2117864711 countsByYear W21178647112012 @default.
• W2117864711 countsByYear W21178647112014 @default.
• W2117864711 countsByYear W21178647112015 @default.
• W2117864711 countsByYear W21178647112016 @default.
• W2117864711 countsByYear W21178647112018 @default.
• W2117864711 countsByYear W21178647112019 @default.
• W2117864711 countsByYear W21178647112020 @default.
• W2117864711 countsByYear W21178647112021 @default.
• W2117864711 countsByYear W21178647112022 @default.
• W2117864711 crossrefType "journal-article" @default.
• W2117864711 hasAuthorship W2117864711A5037466565 @default.
• W2117864711 hasAuthorship W2117864711A5058049693 @default.
• W2117864711 hasBestOaLocation W21178647111 @default.
• W2117864711 hasConcept C105795698 @default.
• W2117864711 hasConcept C125773388 @default.
• W2117864711 hasConcept C142696051 @default.
• W2117864711 hasConcept C144237770 @default.
• W2117864711 hasConcept C154945302 @default.
• W2117864711 hasConcept C159985019 @default.
• W2117864711 hasConcept C167729594 @default.
• W2117864711 hasConcept C177264268 @default.
• W2117864711 hasConcept C17744445 @default.
• W2117864711 hasConcept C189352744 @default.
• W2117864711 hasConcept C192562407 @default.
• W2117864711 hasConcept C199360897 @default.
• W2117864711 hasConcept C199539241 @default.
• W2117864711 hasConcept C20656852 @default.
• W2117864711 hasConcept C2524010 @default.
• W2117864711 hasConcept C2776261394 @default.
• W2117864711 hasConcept C2777212361 @default.
• W2117864711 hasConcept C2780339515 @default.
• W2117864711 hasConcept C2781249084 @default.
• W2117864711 hasConcept C32172795 @default.
• W2117864711 hasConcept C33923547 @default.
• W2117864711 hasConcept C41008148 @default.
• W2117864711 hasConcept C4679612 @default.
• W2117864711 hasConceptScore W2117864711C105795698 @default.
• W2117864711 hasConceptScore W2117864711C125773388 @default.
• W2117864711 hasConceptScore W2117864711C142696051 @default.
• W2117864711 hasConceptScore W2117864711C144237770 @default.
• W2117864711 hasConceptScore W2117864711C154945302 @default.
• W2117864711 hasConceptScore W2117864711C159985019 @default.
• W2117864711 hasConceptScore W2117864711C167729594 @default.
• W2117864711 hasConceptScore W2117864711C177264268 @default.
• W2117864711 hasConceptScore W2117864711C17744445 @default.
• W2117864711 hasConceptScore W2117864711C189352744 @default.
• W2117864711 hasConceptScore W2117864711C192562407 @default.
• W2117864711 hasConceptScore W2117864711C199360897 @default.
• W2117864711 hasConceptScore W2117864711C199539241 @default.
• W2117864711 hasConceptScore W2117864711C20656852 @default.
• W2117864711 hasConceptScore W2117864711C2524010 @default.
• W2117864711 hasConceptScore W2117864711C2776261394 @default.
• W2117864711 hasConceptScore W2117864711C2777212361 @default.
• W2117864711 hasConceptScore W2117864711C2780339515 @default.
• W2117864711 hasConceptScore W2117864711C2781249084 @default.
• W2117864711 hasConceptScore W2117864711C32172795 @default.
• W2117864711 hasConceptScore W2117864711C33923547 @default.
• W2117864711 hasConceptScore W2117864711C41008148 @default.
• W2117864711 hasConceptScore W2117864711C4679612 @default.
• W2117864711 hasIssue "4" @default.
• W2117864711 hasLocation W21178647111 @default.
• W2117864711 hasLocation W21178647112 @default.
• W2117864711 hasLocation W21178647113 @default.
• W2117864711 hasOpenAccess W2117864711 @default.
• W2117864711 hasPrimaryLocation W21178647111 @default.

• next