Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Extending rational choice behavior: The decision problem for Boolean set theory with a choice correspondence
Domenico Cantone, Alfio Giarlotta, Pietro Maugeri +1
Given the family of all nonempty subsets of a set of alternatives, a choice over is a function such that and for all…
math.LO2017
Two Dichotomy Theorems
Domenico Cantone, Pietro Ursino
We introduce the Dichotomy Property, a new property of some languages in Set Computable Theory, in order to explore the expressivity of some languages which are extensions of MLS.…