Individual and Social Choices

Size: px
Start display at page:

Download "Individual and Social Choices"

Transcription

1 Individual and Social Choices Ram Singh Lecture 17 November 07, 2016 Ram Singh: (DSE) Social Choice November 07, / 14

2 Preferences and Choices I Let X be the set of alternatives R i be the weak preference relation for individual i, defined over X; i = 1,..., n P i be the strict preference relation for individual i R be the set of individual preference relations O be the set of individual preference relations that are orderings; O R. (R 1,..., R n ) R n be a profile of preference relations - one for each individuals. That is, R n = {(R 1,..., R n ) R i R for each i = 1,..., n} R be a weak Social preference relation; R R Ram Singh: (DSE) Social Choice November 07, / 14

3 Preferences and Choices II Choice Set: Take any S X. The choice set generated by the preference relation R defined over the set S is given by C(S, R), where x C(S, R) if and only if ( y S) [xry], i.e., C(S, R) = {x ( y S) [xry]} Let S X. An alternative x is a best elements of S iff ( y S)[xRy] A set C(S, R) is the set of best elements of S iff [x C(S, R)] ( y S)[xRy] Ram Singh: (DSE) Social Choice November 07, / 14

4 Preferences and Choices III Let S X. An alternative x is a Maximual elements of S iff: ( y S)(yPx)] A set M(S, R) is the set of Maximual elements of S iff: For all x S, [x M(S, R)] [ ( y S)(yPx)] Suppose xry and yrx. So, M(S, R) = {x, y}. But C(S, R) =. Therefore, x M(S, R) does not mean that for all y S, xry holds. Ram Singh: (DSE) Social Choice November 07, / 14

5 Preferences and Choices IV Proposition For any give S X and preference relation R, C(S, R) M(S, R). Proposition If S X is finite and and preference relation R is quasi-ordering, then M(S, R) is non-empty. Let S = {x 1,..., x n }. Let a 1 = x 1, { x2, if x a 2 = 2 Px 1 a 1, otherwise. { xj+1, if x a j+1 = j+1 Pa j a j, otherwise. You can verify that a n is a maximal element. Ram Singh: (DSE) Social Choice November 07, / 14

6 Social Choice Rules (SCR) I Assumption Every social preference relation R has strict preference relation P and indifference preference relation I associated with it. P and I are such that: For all x, y X xpy xry and (yrx) xiy xry andy Rx Assumption We assume individual preferences are orderings, i.e., are reflexive, complete and transitive. That is, for all i = 1,.., n, R i O. Ram Singh: (DSE) Social Choice November 07, / 14

7 Social Choice Rules (SCR) II A SCR is a function f : R n R, such that, ( (R 1,..., R n ) R n )[f (R 1,..., R n ) = R R]. A SCR f is decisive iff (R 1,..., R n ) R n, the social preference relation generated by f is complete, i.e., iff (R 1,..., R n ) R n, f (R 1,..., R n ) = R is complete. A SCR is rational if (R 1,..., R n ) R n, the social preference relation generated by f, i.e., f (R 1,..., R n ) = R, is an ordering. Ram Singh: (DSE) Social Choice November 07, / 14

8 Pareto Criterion as SCR I Pareto Criterion: For x, y X, x Ry [( i N)[xR i y]] x Py [x Ry & (y Rx)] xīy [x Ry & y Rx] Proposition Relation R is a quasi-ordering. That is, it is reflexive and transitive. Ram Singh: (DSE) Social Choice November 07, / 14

9 Pareto Criterion as SCR II The Pareto Criterion is the SCR iff xry x Ry, xpy [x Ry & (y Rx)] xiy [x Ry & y Rx] Proposition If Pareto Criterion is used as a SCR, then for any finite S X the set of maximal elements for is non-empty. Ram Singh: (DSE) Social Choice November 07, / 14

10 Pareto Criterion as SCR III The SCR is Pareto inclusive, i.e., satisfies the Pareto Criterion if: For all x, y X Note: ( i N)[xR i y], i.e., x Ry xry x Ry and y Rx xpy If Pareto Criterion is used as the SCR, then the SCR is Pareto inclusive However, a Pareto inclusive SCR can (will) be different from the Pareto Criterion Ram Singh: (DSE) Social Choice November 07, / 14

11 Pareto Criterion as SCR IV Proposition Pareto Criterion is a decisive SCR iff ( x, y X)[( i N)[xP i y] ( j N)[xR j y]] Suppose, i N such that xp i y, and at the same time j N such that yp j x. In that case, we have Therefore, the condition is necessary. x Ry and (y Rx), i.e., Ram Singh: (DSE) Social Choice November 07, / 14

12 SCRs: Desirable Features I Take any D O n. A SCR is called a SWF, if f : D R. That is, ( (R 1,..., R n ) D)[f (R 1,..., R n ) = R O]. Condition U: A SCR f satisfies condition of unrestricted domain, if its domain is O n. That is, f generates a social preference relation for every possible profile of individual preferences. Ram Singh: (DSE) Social Choice November 07, / 14

13 SCRs: Desirable Features II Condition P: A SCR f satisfies condition of Weak Pareto Principle, if ( x, y X)( i N)[xP i y xpy]. Suppose, S = {x, y}. Now, condition I implies the following: ( i N)[xR i y xr i y] C(S, R) = C(S, R ), i.e., ( i N)[xR i y xr i y] (xry iff xr y) and (yrx iff yr x). Ram Singh: (DSE) Social Choice November 07, / 14

14 SCRs: Desirable Features III Condition I: Take any S X, and ANY two profiles of individual orderings, say (R 1,..., R n ) and (R 1,..., R n). Let f (R 1,..., R n ) = R and f (R 1,..., R n) = R. A SCR f satisfies condition of independence of irrelevant alternatives if the following holds: ( x, y S)( i N)[xR i y xr i y] C(S, R) = C(S, R ) Condition D: A SCR f satisfies condition of non-dictatorship, if there is NO individual i N such that ( x, y X)[xP i y xpy]. Ram Singh: (DSE) Social Choice November 07, / 14

Market Outcomes: Efficient or Fair?

Market Outcomes: Efficient or Fair? Market Outcomes: Efficient or Fair? Ram Singh Microeconomic Theory Lecture 14 Ram Singh: (DSE) Market Equilibrium Lecture 14 1 / 16 Fair Versus Efficient Question 1 What is a fair allocation? 2 Is a fair

More information

Gibbard s Theorem. Patrick Le Bihan. 24. April Jean Monnet Centre of Excellence

Gibbard s Theorem. Patrick Le Bihan. 24. April Jean Monnet Centre of Excellence 1 1 Jean Monnet Centre of Excellence 24. April 2008 : If an aggregation rule is quasi-transitive, weakly Paretian and independent of irrelevant alternatives, then it is oligarchic. Definition: Aggregation

More information

Roberts Theorem with Neutrality. A Social Welfare Ordering Approach

Roberts Theorem with Neutrality. A Social Welfare Ordering Approach : A Social Welfare Ordering Approach Indian Statistical Institute joint work with Arunava Sen, ISI Outline Objectives of this research Characterize (dominant strategy) implementable social choice functions

More information

Fair Divsion in Theory and Practice

Fair Divsion in Theory and Practice Fair Divsion in Theory and Practice Ron Cytron (Computer Science) Maggie Penn (Political Science) Lecture 6-b: Arrow s Theorem 1 Arrow s Theorem The general question: Given a collection of individuals

More information

Quasi-transitive and Suzumura consistent relations

Quasi-transitive and Suzumura consistent relations Quasi-transitive and Suzumura consistent relations Walter Bossert Department of Economics and CIREQ, University of Montréal P.O. Box 6128, Station Downtown, Montréal QC H3C 3J7, Canada FAX: (+1 514) 343

More information

Progress, tbe Universal LaW of f'laiare; Tbodgbt. tbe 3olVer)t of fier Problems. C H IC A G O. J U N E

Progress, tbe Universal LaW of f'laiare; Tbodgbt. tbe 3olVer)t of fier Problems. C H IC A G O. J U N E 4 '; ) 6 89 80 pp p p p p ( p ) - p - p - p p p j p p p p - p- q ( p - p p' p ( p ) ) p p p p- p ; R : pp x ; p p ; p p - : p pp p -------- «( 7 p p! ^(/ -) p x- p- p p p p 2p p xp p : / xp - p q p x p

More information

Constitutional Rights and Pareto Efficiency

Constitutional Rights and Pareto Efficiency Journal of Economic and Social Research, 1 (1) 1999, 109-117 Constitutional Rights and Pareto Efficiency Ahmet Kara 1 Abstract. This paper presents a sufficient condition under which constitutional rights

More information

Comparing impossibility theorems

Comparing impossibility theorems Comparing impossibility theorems Randy Calvert, for Pol Sci 507 Spr 2017 All references to A-S & B are to Austen-Smith and Banks (1999). Basic notation X set of alternatives X set of all nonempty subsets

More information

Fundamental Theorems of Welfare Economics

Fundamental Theorems of Welfare Economics Fundamental Theorems of Welfare Economics Ram Singh Lecture 6 September 29, 2015 Ram Singh: (DSE) General Equilibrium Analysis September 29, 2015 1 / 14 First Fundamental Theorem The First Fundamental

More information

Market Equilibrium and the Core

Market Equilibrium and the Core Market Equilibrium and the Core Ram Singh Lecture 3-4 September 22/25, 2017 Ram Singh (DSE) Market Equilibrium September 22/25, 2017 1 / 19 Market Exchange: Basics Let us introduce price in our pure exchange

More information

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics MATH10111 - Foundations of Pure Mathematics 9 RELATIONS 9.1 Reflexive, symmetric and transitive relations Let A be a set with A. A relation R on A is a subset of A A. For convenience, for x, y A, write

More information

Lecture Notes, Lectures 22, 23, 24. Voter preferences: Majority votes A > B, B > C. Transitivity requires A > C but majority votes C > A.

Lecture Notes, Lectures 22, 23, 24. Voter preferences: Majority votes A > B, B > C. Transitivity requires A > C but majority votes C > A. Lecture Notes, Lectures 22, 23, 24 Social Choice Theory, Arrow Possibility Theorem Paradox of Voting (Condorcet) Cyclic majority: Voter preferences: 1 2 3 A B C B C A C A B Majority votes A > B, B > C.

More information

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) LIOR SILBERMAN Version 1.0 compiled September 9, 2015. 1.1. List of examples. 1. RELATIONS Equality of real numbers: for some x,y R we have x = y. For other pairs

More information

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

MATH 433 Applied Algebra Lecture 14: Functions. Relations. MATH 433 Applied Algebra Lecture 14: Functions. Relations. Cartesian product Definition. The Cartesian product X Y of two sets X and Y is the set of all ordered pairs (x,y) such that x X and y Y. The Cartesian

More information

Advanced Microeconomics Note 1: Preference and choice

Advanced Microeconomics Note 1: Preference and choice Advanced Microeconomics Note 1: Preference and choice Xiang Han (SUFE) Fall 2017 Advanced microeconomics Note 1: Preference and choice Fall 2017 1 / 17 Introduction Individual decision making Suppose that

More information

IMPOSSIBILITY THEOREMS IN MULTIPLE VON WRIGHT S PREFERENCE LOGIC**

IMPOSSIBILITY THEOREMS IN MULTIPLE VON WRIGHT S PREFERENCE LOGIC** ECONOMIC ANNALS, Volume LIX, No. 201 / April June 2014 UDC: 3.33 ISSN: 0013-3264 DOI:10.2298/EKA1401069B Branislav Boričić* IMPOSSIBILITY THEOREMS IN MULTIPLE VON WRIGHT S PREFERENCE LOGIC** ABSTRACT:

More information

General Equilibrium with Production

General Equilibrium with Production General Equilibrium with Production Ram Singh Microeconomic Theory Lecture 11 Ram Singh: (DSE) General Equilibrium: Production Lecture 11 1 / 24 Producer Firms I There are N individuals; i = 1,..., N There

More information

Definitions: A binary relation R on a set X is (a) reflexive if x X : xrx; (f) asymmetric if x, x X : [x Rx xr c x ]

Definitions: A binary relation R on a set X is (a) reflexive if x X : xrx; (f) asymmetric if x, x X : [x Rx xr c x ] Binary Relations Definition: A binary relation between two sets X and Y (or between the elements of X and Y ) is a subset of X Y i.e., is a set of ordered pairs (x, y) X Y. If R is a relation between X

More information

An Introduction to Modal Logic V

An Introduction to Modal Logic V An Introduction to Modal Logic V Axiomatic Extensions and Classes of Frames Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, November 7 th 2013

More information

Michel Le Breton and John A. Weymark

Michel Le Breton and John A. Weymark ARROVIAN SOCIAL CHOICE THEORY ON ECONOMIC DOMAINS by Michel Le Breton and John A. Weymark Working Paper No. 02-W06R April 2002 Revised September 2003 DEPARTMENT OF ECONOMICS VANDERBILT UNIVERSITY NASHVILLE,

More information

Roberts Theorem with Neutrality. A Social Welfare Ordering Approach

Roberts Theorem with Neutrality. A Social Welfare Ordering Approach : A Approach Indian Statistical Institute (ISI) joint work with Arunava Sen, ISI Introduction The Problem Reformulating the Problem Main Result Objectives of this research Characterize (dominant strategy)

More information

Foundations of algebra

Foundations of algebra Foundations of algebra Equivalence relations - suggested problems - solutions P1: There are several relations that you are familiar with: Relations on R (or any of its subsets): Equality. Symbol: x = y.

More information

Pareto Efficiency (also called Pareto Optimality)

Pareto Efficiency (also called Pareto Optimality) Pareto Efficiency (also called Pareto Optimality) 1 Definitions and notation Recall some of our definitions and notation for preference orderings. Let X be a set (the set of alternatives); we have the

More information

Lecture 7: Relations

Lecture 7: Relations Lecture 7: Relations 1 Relation Relation between two objects signify some connection between them. For example, relation of one person being biological parent of another. If we take any two people at random,

More information

arxiv: v2 [math.co] 14 Apr 2011

arxiv: v2 [math.co] 14 Apr 2011 Complete Characterization of Functions Satisfying the Conditions of Arrow s Theorem Elchanan Mossel and Omer Tamuz arxiv:0910.2465v2 [math.co] 14 Apr 2011 April 15, 2011 Abstract Arrow s theorem implies

More information

Market Equilibrium Price: Existence, Properties and Consequences

Market Equilibrium Price: Existence, Properties and Consequences Market Equilibrium Price: Existence, Properties and Consequences Ram Singh Lecture 5 Ram Singh: (DSE) General Equilibrium Analysis 1 / 14 Questions Today, we will discuss the following issues: How does

More information

3. R = = on Z. R, S, A, T.

3. R = = on Z. R, S, A, T. 6 Relations Let R be a relation on a set A, i.e., a subset of AxA. Notation: xry iff (x, y) R AxA. Recall: A relation need not be a function. Example: The relation R 1 = {(x, y) RxR x 2 + y 2 = 1} is not

More information

Mechanism Design with Two Alternatives in Quasi-Linear Environments

Mechanism Design with Two Alternatives in Quasi-Linear Environments Mechanism Design with Two Alternatives in Quasi-Linear Environments Thierry Marchant and Debasis Mishra July 7, 2014 Abstract We study mechanism design in quasi-linear private values environments when

More information

Exercise 1.2. Suppose R, Q are two binary relations on X. Prove that, given our notation, the following are equivalent:

Exercise 1.2. Suppose R, Q are two binary relations on X. Prove that, given our notation, the following are equivalent: 1 Binary relations Definition 1.1. R X Y is a binary relation from X to Y. We write xry if (x, y) R and not xry if (x, y) / R. When X = Y and R X X, we write R is a binary relation on X. Exercise 1.2.

More information

Chapter 6. Relations. 6.1 Relations

Chapter 6. Relations. 6.1 Relations Chapter 6 Relations Mathematical relations are an extremely general framework for specifying relationships between pairs of objects. This chapter surveys the types of relations that can be constructed

More information

Welfare Economics: Lecture 12

Welfare Economics: Lecture 12 Welfare Economics: Lecture 12 Ram Singh Course 001 October 20, 2014 Ram Singh: (DSE) Welfare Economics October 20, 2014 1 / 16 Fair Vs Efficient Question 1 What is a fair allocation? 2 Is a fair allocation

More information

Preference Orderings

Preference Orderings Preference Orderings Resnik xpy the agent prefers x to y ypx the agent prefers y to x xiy the agent is indifferent between x and y Strict preference: xpy just in case the agent prefers x to y and not vice

More information

Relations. Relations. Definition. Let A and B be sets.

Relations. Relations. Definition. Let A and B be sets. Relations Relations. Definition. Let A and B be sets. A relation R from A to B is a subset R A B. If a A and b B, we write a R b if (a, b) R, and a /R b if (a, b) / R. A relation from A to A is called

More information

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

More information

Chapter 1 - Preference and choice

Chapter 1 - Preference and choice http://selod.ensae.net/m1 Paris School of Economics (selod@ens.fr) September 27, 2007 Notations Consider an individual (agent) facing a choice set X. Definition (Choice set, "Consumption set") X is a set

More information

Arrow s Impossibility Theorem: Preference Diversity in a Single-Profile World

Arrow s Impossibility Theorem: Preference Diversity in a Single-Profile World Arrow s Impossibility Theorem: Preference Diversity in a Single-Profile World Brown University Department of Economics Working Paper No. 2007-12 Allan M. Feldman Department of Economics, Brown University

More information

TOPOLOGICAL ASPECTS OF YAO S ROUGH SET

TOPOLOGICAL ASPECTS OF YAO S ROUGH SET Chapter 5 TOPOLOGICAL ASPECTS OF YAO S ROUGH SET In this chapter, we introduce the concept of transmissing right neighborhood via transmissing expression of a relation R on domain U, and then we study

More information

Mechanism Design with Two Alternatives in Quasi-Linear Environments

Mechanism Design with Two Alternatives in Quasi-Linear Environments Mechanism Design with Two Alternatives in Quasi-Linear Environments Thierry Marchant and Debasis Mishra June 25, 2013 Abstract We study mechanism design in quasi-linear private values environments when

More information

Social Choice and Mechanism Design - Part I.2. Part I.2: Social Choice Theory Summer Term 2011

Social Choice and Mechanism Design - Part I.2. Part I.2: Social Choice Theory Summer Term 2011 Social Choice and Mechanism Design Part I.2: Social Choice Theory Summer Term 2011 Alexander Westkamp April 2011 Introduction Two concerns regarding our previous approach to collective decision making:

More information

Week 4-5: Generating Permutations and Combinations

Week 4-5: Generating Permutations and Combinations Week 4-5: Generating Permutations and Combinations February 27, 2017 1 Generating Permutations We have learned that there are n! permutations of {1, 2,...,n}. It is important in many instances to generate

More information

Follow links for Class Use and other Permissions. For more information send to:

Follow links for Class Use and other Permissions. For more information send  to: COPYRIGHT NOTICE: Ariel Rubinstein: Lecture Notes in Microeconomic Theory is published by Princeton University Press and copyrighted, c 2006, by Princeton University Press. All rights reserved. No part

More information

Arrow s Impossibility Theorem: Two Simple Single-Profile Versions

Arrow s Impossibility Theorem: Two Simple Single-Profile Versions Arrow s Impossibility Theorem: Two Simple Single-Profile Versions Brown University Department of Economics Working Paper Allan M. Feldman Department of Economics, Brown University Providence, RI 02912

More information

Valued relations aggregation with the Borda method.

Valued relations aggregation with the Borda method. Valued relations aggregation with the Borda method. Thierry Marchant* Service de mathématiques de la gestion, Université Libre de Bruxelles, Boulevard du Triomphe CP210-01, 1050 Bruxelles, Belgium. Tél

More information

Hans Peters, Souvik Roy, Soumyarup Sadhukhan, Ton Storcken

Hans Peters, Souvik Roy, Soumyarup Sadhukhan, Ton Storcken Hans Peters, Souvik Roy, Soumyarup Sadhukhan, Ton Storcken An Extreme Point Characterization of Strategyproof and Unanimous Probabilistic Rules over Binary Restricted Domains RM/16/012 An Extreme Point

More information

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) CmSc 365 Theory of Computation 1. Relations Definition: Let A and B be two sets. A relation R from A to B is any set of ordered pairs

More information

Market Failure: Externalities

Market Failure: Externalities Market Failure: Externalities Ram Singh Lecture 21 November 10, 2015 Ram Singh: (DSE) Externality November 10, 2015 1 / 18 Questions What is externality? What is implication of externality for efficiency

More information

Static Decision Theory Under Certainty

Static Decision Theory Under Certainty Static Decision Theory Under Certainty Larry Blume September 22, 2010 1 basics A set of objects X An individual is asked to express preferences among the objects, or to make choices from subsets of X.

More information

The Axiomatic Method in Social Choice Theory:

The Axiomatic Method in Social Choice Theory: The Axiomatic Method in Social Choice Theory: Preference Aggregation, Judgment Aggregation, Graph Aggregation Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss

More information

Engineering Decisions

Engineering Decisions GSOE9210 vicj@cse.unsw.edu.au www.cse.unsw.edu.au/~gs9210 1 Preferences to values Outline 1 Preferences to values Evaluating outcomes and actions Example (Bus or train?) Would Alice prefer to catch the

More information

Logic and Social Choice Theory. A Survey. ILLC, University of Amsterdam. November 16, staff.science.uva.

Logic and Social Choice Theory. A Survey. ILLC, University of Amsterdam. November 16, staff.science.uva. Logic and Social Choice Theory A Survey Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl November 16, 2007 Setting the Stage: Logic and Games Game Logics Logics

More information

Roberts Theorem with Neutrality: A Social Welfare Ordering Approach

Roberts Theorem with Neutrality: A Social Welfare Ordering Approach Roberts Theorem with Neutrality: A Social Welfare Ordering Approach arxiv:1003.1550v1 [cs.gt] 8 Mar 2010 Debasis Mishra and Arunava Sen May 25, 2018 Abstract We consider dominant strategy implementation

More information

Arrow s Impossibility Theorem and Experimental Tests of Preference Aggregation

Arrow s Impossibility Theorem and Experimental Tests of Preference Aggregation Arrow s Impossibility Theorem and Experimental Tests of Preference Aggregation Todd Davies Symbolic Systems Program Stanford University joint work with Raja Shah, Renee Trochet, and Katarina Ling Decision

More information

A Role of Common Morality in Social Choice

A Role of Common Morality in Social Choice A Role of Common Morality in Social Choice Susumu Cato Graduate School of Economics, The University of Tokyo, Japan Society for the Promotion of Science Research Fellow First Version: January 10, 2007

More information

Strategic Manipulation and Regular Decomposition of Fuzzy Preference Relations

Strategic Manipulation and Regular Decomposition of Fuzzy Preference Relations Strategic Manipulation and Regular Decomposition of Fuzzy Preference Relations Olfa Meddeb, Fouad Ben Abdelaziz, José Rui Figueira September 27, 2007 LARODEC, Institut Supérieur de Gestion, 41, Rue de

More information

Axiomatic Decision Theory

Axiomatic Decision Theory Decision Theory Decision theory is about making choices It has a normative aspect what rational people should do... and a descriptive aspect what people do do Not surprisingly, it s been studied by economists,

More information

Efficiency and Incentives in Randomized Social Choice

Efficiency and Incentives in Randomized Social Choice Technische Universität München Department of Mathematics Master s Thesis Efficiency and Incentives in Randomized Social Choice Florian Brandl Supervisor: Prof. Felix Brandt Submission Date: September 28,

More information

Week 4-5: Binary Relations

Week 4-5: Binary Relations 1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

More information

An Axiomatic Approach to ``Preference for Freedom of Choice'' 1

An Axiomatic Approach to ``Preference for Freedom of Choice'' 1 journal of economic theory 68, 174199 (1996) article no. 0009 An Axiomatic Approach to ``Preference for Freedom of Choice'' 1 Clemens Puppe Institut fu r Wirtschaftswissenschaften, Universita t Wien, Hohenstaufengasse

More information

Introduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1)

Introduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1) Introduction to Predicate Logic Part 1 Professor Anita Wasilewska Lecture Notes (1) Introduction Lecture Notes (1) and (2) provide an OVERVIEW of a standard intuitive formalization and introduction to

More information

Multi-profile intertemporal social choice: a survey

Multi-profile intertemporal social choice: a survey Multi-profile intertemporal social choice: a survey Walter Bossert Department of Economics and CIREQ University of Montreal P.O. Box 6128, Station Downtown Montreal QC H3C 3J7 Canada FAX: (+1 514) 343

More information

Expected Scott-Suppes Utility Representation

Expected Scott-Suppes Utility Representation Expected Scott-Suppes Utility Representation Nuh Aygün Dalkıran Oral Ersoy Dokumacı Tarık Kara February 7, 2018 1 / 51 1 Introduction Motivation 2 Preliminaries Semiorders Uncertainty Continuity Independence

More information

Single-plateaued choice

Single-plateaued choice Single-plateaued choice Walter Bossert Department of Economics and CIREQ, University of Montreal P.O. Box 6128, Station Downtown Montreal QC H3C 3J7, Canada walter.bossert@umontreal.ca and Hans Peters

More information

Social Welfare Functions that Satisfy Pareto, Anonymity, and Neutrality: Countable Many Alternatives. Donald E. Campbell College of William and Mary

Social Welfare Functions that Satisfy Pareto, Anonymity, and Neutrality: Countable Many Alternatives. Donald E. Campbell College of William and Mary Social Welfare Functions that Satisfy Pareto, Anonymity, and Neutrality: Countable Many Alternatives Donald E. Campbell College of William and Mary Jerry S. Kelly Syracuse University College of William

More information

1 Introduction FUZZY VERSIONS OF SOME ARROW 0 S TYPE RESULTS 1. Louis Aimé Fono a,2, Véronique Kommogne b and Nicolas Gabriel Andjiga c

1 Introduction FUZZY VERSIONS OF SOME ARROW 0 S TYPE RESULTS 1. Louis Aimé Fono a,2, Véronique Kommogne b and Nicolas Gabriel Andjiga c FUZZY VERSIONS OF SOME ARROW 0 S TYPE RESULTS 1 Louis Aimé Fono a,2, Véronique Kommogne b and Nicolas Gabriel Andjiga c a;b Département de Mathématiques et Informatique, Université de Douala, Faculté des

More information

Rationalization of Collective Choice Functions by Games with Perfect Information. Yongsheng Xu

Rationalization of Collective Choice Functions by Games with Perfect Information. Yongsheng Xu Rationalization of Collective Choice Functions by Games with Perfect Information by Yongsheng Xu Department of Economics, Andrew Young School of Policy Studies Georgia State University, Atlanta, GA 30303

More information

An axiomatization of the mixed utilitarian-maximin social welfare orderings

An axiomatization of the mixed utilitarian-maximin social welfare orderings An axiomatization of the mixed utilitarian-maximin social welfare orderings Walter Bossert and Kohei Kamaga November 16, 2018 Abstract We axiomatize the class of mixed utilitarian-maximin social welfare

More information

Relations and Equivalence Relations

Relations and Equivalence Relations Relations and Equivalence Relations In this section, we shall introduce a formal definition for the notion of a relation on a set. This is something we often take for granted in elementary algebra courses,

More information

Recap Social Choice Functions Fun Game Mechanism Design. Mechanism Design. Lecture 13. Mechanism Design Lecture 13, Slide 1

Recap Social Choice Functions Fun Game Mechanism Design. Mechanism Design. Lecture 13. Mechanism Design Lecture 13, Slide 1 Mechanism Design Lecture 13 Mechanism Design Lecture 13, Slide 1 Lecture Overview 1 Recap 2 Social Choice Functions 3 Fun Game 4 Mechanism Design Mechanism Design Lecture 13, Slide 2 Notation N is the

More information

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati Important 1. No questions about the paper will be entertained during

More information

PHIL 308S: Voting Theory and Fair Division

PHIL 308S: Voting Theory and Fair Division PHIL 308S: Voting Theory and Fair Division Lecture 12 Eric Pacuit Department of Philosophy University of Maryland, College Park ai.stanford.edu/ epacuit epacuit@umd.edu October 18, 2012 PHIL 308S: Voting

More information

3.1 Arrow s Theorem. We study now the general case in which the society has to choose among a number of alternatives

3.1 Arrow s Theorem. We study now the general case in which the society has to choose among a number of alternatives 3.- Social Choice and Welfare Economics 3.1 Arrow s Theorem We study now the general case in which the society has to choose among a number of alternatives Let R denote the set of all preference relations

More information

Weak Choice Principles and Forcing Axioms

Weak Choice Principles and Forcing Axioms Weak Choice Principles and Forcing Axioms Elizabeth Lauri 1 Introduction Faculty Mentor: David Fernandez Breton Forcing is a technique that was discovered by Cohen in the mid 20th century, and it is particularly

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

ON SOME PROPERTIES OF ROUGH APPROXIMATIONS OF SUBRINGS VIA COSETS

ON SOME PROPERTIES OF ROUGH APPROXIMATIONS OF SUBRINGS VIA COSETS ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (120 127) 120 ON SOME PROPERTIES OF ROUGH APPROXIMATIONS OF SUBRINGS VIA COSETS Madhavi Reddy Research Scholar, JNIAS Budhabhavan, Hyderabad-500085

More information

arxiv: v2 [math.gn] 29 Oct 2013

arxiv: v2 [math.gn] 29 Oct 2013 arxiv:1302.7238v2 [math.gn] 29 Oct 2013 On the Preference Relations with Negatively Transitive Asymmetric Part. I Maria Viktorovna Droganova Valentin Vankov Iliev Abstract Given a linearly ordered set

More information

Notes on Social Choice Theory

Notes on Social Choice Theory Notes on Social Choice Theory Arunava Sen February 21, 2017 1 Binary Relations and Orderings Let A = {a, b, c,..., x, y, z,...} be a finite set of alternatives. Let N = {1,..., n} be a finite set of agents.

More information

FACULTY FEATURE ARTICLE 5 Arrow s Impossibility Theorem: Two Simple Single-Profile Versions

FACULTY FEATURE ARTICLE 5 Arrow s Impossibility Theorem: Two Simple Single-Profile Versions FACULTY FEATURE ARTICLE 5 Arrow s Impossibility Theorem: Two Simple Single-Profile Versions Allan M. Feldman Department of Economics Brown University Providence, RI 02912 Allan_Feldman@Brown.edu http://www.econ.brown.edu/fac/allan_feldman

More information

First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation

First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation Umberto Grandi and Ulle Endriss Institute for Logic, Language and Computation, University of Amsterdam, Postbus 94242,

More information

Silvio Valentini Dip. di Matematica - Università di Padova

Silvio Valentini Dip. di Matematica - Università di Padova REPRESENTATION THEOREMS FOR QUANTALES Silvio Valentini Dip. di Matematica - Università di Padova Abstract. In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations

More information

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017 Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a

More information

Generating Permutations and Combinations

Generating Permutations and Combinations Generating Permutations and Combinations March 0, 005 Generating Permutations We have learned that there are n! permutations of {,,, n} It is important in many instances to generate a list of such permutations

More information

Modal logics: an introduction

Modal logics: an introduction Modal logics: an introduction Valentin Goranko DTU Informatics October 2010 Outline Non-classical logics in AI. Variety of modal logics. Brief historical remarks. Basic generic modal logic: syntax and

More information

Are Interpersonal Comparisons of Utility Indeterminate? Christian List

Are Interpersonal Comparisons of Utility Indeterminate? Christian List 1 Are Interpersonal Comparisons of Utility Indeterminate? Christian List 29 May 2002, forthcoming in Erkenntnis Abstract. On the orthodox view in economics, interpersonal comparisons of utility are not

More information

The Review of Economic Studies, Ltd.

The Review of Economic Studies, Ltd. The Review of Economic Studies, Ltd. Oxford University Press http://www.jstor.org/stable/2297086. Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at.

More information

Partial lecture notes THE PROBABILITY OF VIOLATING ARROW S CONDITIONS

Partial lecture notes THE PROBABILITY OF VIOLATING ARROW S CONDITIONS Partial lecture notes THE PROBABILITY OF VIOLATING ARROW S CONDITIONS 1 B. Preference Aggregation Rules 3. Anti-Plurality a. Assign zero points to a voter's last preference and one point to all other preferences.

More information

Choice, Preferences and Utility

Choice, Preferences and Utility Choice, Preferences and Utility Mark Dean Lecture Notes for Fall 2015 PhD Class in Behavioral Economics - Columbia University 1 Introduction The first topic that we are going to cover is the relationship

More information

Practice Second Midterm Exam I

Practice Second Midterm Exam I CS103 Handout 33 Fall 2018 November 2, 2018 Practice Second Midterm Exam I This exam is closed-book and closed-computer. You may have a double-sided, 8.5 11 sheet of notes with you when you take this exam.

More information

Suzumura-consistent relations: an overview

Suzumura-consistent relations: an overview Suzumura-consistent relations: an overview Walter Bossert Department of Economics and CIREQ University of Montreal P.O. Box 6128, Station Downtown Montreal QC H3C 3J7 Canada walter.bossert@videotron.ca

More information

13 Social choice B = 2 X X. is the collection of all binary relations on X. R = { X X : is complete and transitive}

13 Social choice B = 2 X X. is the collection of all binary relations on X. R = { X X : is complete and transitive} 13 Social choice So far, all of our models involved a single decision maker. An important, perhaps the important, question for economics is whether the desires and wants of various agents can be rationally

More information

Existence Theorems of Continuous Social Aggregation for Infinite Discrete Alternatives

Existence Theorems of Continuous Social Aggregation for Infinite Discrete Alternatives GRIPS Discussion Paper 17-09 Existence Theorems of Continuous Social Aggregation for Infinite Discrete Alternatives Stacey H. Chen Wu-Hsiung Huang September 2017 National Graduate Institute for Policy

More information

Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan. Section: NetID: Multiple Choice Question (30 questions in total, 4 points each)

Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan. Section: NetID: Multiple Choice Question (30 questions in total, 4 points each) Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan Section: NetID: Name: Multiple Choice Question (30 questions in total, 4 points each) 1 Consider the following propositions: f: The student got

More information

Acyclic and indifference-transitive collective choice functions.

Acyclic and indifference-transitive collective choice functions. University of Louisville ThinkIR: The University of Louisville's Institutional Repository Electronic Theses and Dissertations 8-2014 Acyclic and indifference-transitive collective choice functions. Katey

More information

Lecture 7. Logic III. Axiomatic description of properties of relations.

Lecture 7. Logic III. Axiomatic description of properties of relations. V. Borschev and B. Partee, October 11, 2001 p. 1 Lecture 7. Logic III. Axiomatic description of properties of relations. CONTENTS 1. Axiomatic description of properties and classes of relations... 1 1.1.

More information

Foundations of Mathematics Worksheet 2

Foundations of Mathematics Worksheet 2 Foundations of Mathematics Worksheet 2 L. Pedro Poitevin June 24, 2007 1. What are the atomic truth assignments on {a 1,..., a n } that satisfy: (a) The proposition p = ((a 1 a 2 ) (a 2 a 3 ) (a n 1 a

More information

Integer Programming on Domains Containing Inseparable Ordered Pairs

Integer Programming on Domains Containing Inseparable Ordered Pairs Integer Programming on Domains Containing Inseparable Ordered Pairs Francesca Busetto, Giulio Codognato, Simone Tonin August 2012 n. 8/2012 Integer Programming on Domains Containing Inseparable Ordered

More information

Choice, Consideration Sets and Attribute Filters

Choice, Consideration Sets and Attribute Filters Choice, Consideration Sets and Attribute Filters Mert Kimya Brown University, Department of Economics, 64 Waterman St, Providence RI 02912 USA. October 6, 2015 Abstract It is well known that decision makers

More information

MAXIMAL POSSIBILITY AND MINIMAL DICTATORIAL COVERS OF DOMAINS

MAXIMAL POSSIBILITY AND MINIMAL DICTATORIAL COVERS OF DOMAINS MAXIMAL POSSIBILITY AND MINIMAL DICTATORIAL COVERS OF DOMAINS Gopakumar Achuthankutty 1 and Souvik Roy 1 1 Economic Research Unit, Indian Statistical Institute, Kolkata Abstract In line with the works

More information

Introduction to General Equilibrium: Framework.

Introduction to General Equilibrium: Framework. Introduction to General Equilibrium: Framework. Economy: I consumers, i = 1,...I. J firms, j = 1,...J. L goods, l = 1,...L Initial Endowment of good l in the economy: ω l 0, l = 1,...L. Consumer i : preferences

More information

1. what conditional independencies are implied by the graph. 2. whether these independecies correspond to the probability distribution

1. what conditional independencies are implied by the graph. 2. whether these independecies correspond to the probability distribution NETWORK ANALYSIS Lourens Waldorp PROBABILITY AND GRAPHS The objective is to obtain a correspondence between the intuitive pictures (graphs) of variables of interest and the probability distributions of

More information

CAHIER CANDIDATE STABILITY AND NONBINARY SOCIAL CHOICE. Lars EHLERS and John A. WEYMARK

CAHIER CANDIDATE STABILITY AND NONBINARY SOCIAL CHOICE. Lars EHLERS and John A. WEYMARK CAHIER 26-2001 CANDIDATE STABILITY AND NONBINARY SOCIAL CHOICE Lars EHLERS and John A. WEYMARK CAHIER 26-2001 CANDIDATE STABILITY AND NONBINARY SOCIAL CHOICE Lars EHLERS 1 and John A. WEYMARK 2 1 2 Centre

More information