Premium
SZPILRAJN, ARROW AND SUZUMURA: CONCISE PROOFS OF EXTENSION THEOREMS AND AN EXTENSION
Author(s) -
Cato Susumu
Publication year - 2012
Publication title -
metroeconomica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.256
H-Index - 29
eISSN - 1467-999X
pISSN - 0026-1386
DOI - 10.1111/j.1467-999x.2011.04130.x
Subject(s) - extension (predicate logic) , arrow , mathematical proof , mathematical economics , mathematics , calculus (dental) , discrete mathematics , computer science , geometry , medicine , dentistry , programming language
This paper extends the classical extension theorem established by Edward Szpilrajn ( Fundamenta Mathematicae , 16, pp. 386–389, 1930). Szpilrajn's theorem states that every quasi‐ordering has an ordering extension. Because of its usefulness in various themes of economics, it has been applied by many researchers. Important generalizations have been presented by two authors, Kenneth Arrow and Kotaro Suzumura, among others. First, we provide concise proofs of four extension theorems by Szpilrajn, Arrow and Suzumura. We then show an extension of their extension theorems.