Seminar for Mathematical Logic

PROGRAM

Predavanja na Logičkom seminaru možete uživo pratiti preko linka
https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a.
Ukoliko želite i da učestvujete u diskusiji, to možete preko linka
https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N
na kome prethodno treba napraviti nalog, t.j. popuniti registracioni formular koji se pojavi nakon klika.

PETAK, 21.04.2023. u 14:15, sala 301f, Knez Mihajlova 36
Branislav Boričić, Ekonomski fakultet, Beograd
ARROW-SEN THEORY SIMPLIFIED
We introduce a subtheory of traditional Arrow-Sen Social Choice Theory by applying a process of simplification of its original axioms. For instance, we treat axioms of unrestricted domain and the independence of irrelevant alternatives as metatheoretical claims, and simpler type axioms, such as dictatorship, the Pareto rule, liberalism and vetoer, we transform into the first-order language after moving higher-order quantification 'for all profiles' into the metalanguage. In this way we obtain an essentially simpler context in which we can prove counterparts of the well-known impossibility results for which we do not need such a complex notion as a social welfare function. We hope that this method will make Social Choice Theory more approachable to a wider circle of students and scientists.

OBAVEŠTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs



Beograd,
Srdacan pozdrav,

rukovodilac seminara Predrag Tanovic