The strong candidate stability theorem by Dutta et al. [4], one of the major theorems of social choice theory, states that, with a finite number of voters, there exists a dictator for any voting procedure which satisfies strong candidate stability, strong unanimity and independence of irrelevant alternatives (IIA). This paper investigates a decidability problem of voting procedures in a society...

Experience shows that there is a strong parallel between metrization theory for compact spaces and for linearly ordered spaces in terms of diagonal conditions. Recent theorems of Gruenhage, Pelant, Kombarov, and Stepanova have described metrizability of compact (and related) spaces in terms of the offdiagonal behavior of those spaces, i.e., in terms of properties of X −∆. In this paper, we show...