Linear extensions of partial orders and Reverse Mathematics

We introduce the notion of \tau-like partial order, where \tau is one of the linear order types \omega, \omega*, \omega+\omega*, and \zeta. For example, being \omega-like means that every element has finitely many predecessors, while being \zeta-like means that every interval is finite. We consider statements of the form "any \tau-like partial order has a \tau-like linear extension" and "any \tau-like partial order is embeddable into \tau" (when \tau\ is \zeta\ this result appears to be new). Working in the framework of reverse mathematics, we show that these statements are equivalent either to B\Sigma^0_2 or to ACA_0 over the usual base system RCA_0.Comment: 8 pages, minor changes suggested by referee. To appear in MLQ - Mathematical Logic Quarterl

Searching for An Analogue of ATR_0 in the Weihrauch Lattice

3siThere are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.openopenKihara T.; Marcone A.; Pauly A.Kihara, T.; Marcone, A.; Pauly, A

Social Choice and Just Institutions: New Perspectives

It has become accepted that social choice is impossible in absence of interpersonal comparisons of well-being. This view is challenged here. Arrow obtained an impossibility theorem only by making unreasonable demands on social choice functions. With reasonable requirements, one can get very attractive possibilities and derive social preferences on the basis of non-comparable individual preferences. This new approach makes it possible to design optimal second-best institutions inspired by principles of fairness, while traditionally the analysis of optimal second-best institutions was thought to require interpersonal comparisons of well-being. In particular, this new approach turns out to be especially suitable for the application of recent philosophical theories of justice formulated in terms of fairness, such as equality of resources.social welfare, social choice, fairness, egalitarian-equivalence

Multidimensional generalized Gini indices.

The axioms used to characterize the generalized Gini social evaluation orderings for one-dimensional distributions are extended to the multidimensional attributes case. A social evaluation ordering is shown to have a two-stage aggregation representation if these axioms and a separability assumption are satisfied. In the first stage, the distributions of each attribute are aggregated using generalized Gini social evaluation functions. The functional form of the second-stage aggregator depends on the number of attributes and on which version of a comonotonic additivity axiom is used. The implications of these results for the corresponding multidimensional indices of relative and absolute inequality are also considered.Generalized Gini; multidimensional inequality