Giorgio Laguzzi University of Freiburg in the Mathematical Logic Group   ,   giorgio.laguzzi@libero.it             JEL Areas: C6 : Mathematical Methods and Programming: General D6 : Welfare Economics: General