A Total Order in (0, 1] Defined Through a 'Next' Operator

Jaume Paradís, Pelegrí Viader, Lluís Bibiloni. A Total Order in (0, 1] Defined Through a 'Next' Operator. Order, 16(3):207-220, 1999. [doi]

Abstract

Abstract is missing.