Definitions of finiteness based on order properties
Omar De la Cruz, Damir D. Dzhafarov, Eric Hall · Fundamenta Mathematicae · 2006
A definition of finiteness is a set-theoretical property of a set that, if the Axiom of Choice (AC) is assumed, is equivalent to stating that the set is finite; several such definitions have been studied over the years. In this article we introduce