Pages that link to "Item:Q3655224"
From MaRDI portal
The following pages link to First-Order Logic Formalisation of Arrow’s Theorem (Q3655224):
Displayed 4 items.
- Impossibility results for infinite-electorate abstract aggregation rules (Q421345) (← links)
- The model-theoretic approach to aggregation: impossibility results for finite and infinite electorates (Q449041) (← links)
- Applications of Logic in Social Choice Theory (Q3092295) (← links)
- Using Theorema in the Formalization of Theoretical Economics (Q5200108) (← links)