Some forms of excluded middle for linear orders

Peter Schuster 0001, Daniel Wessel. Some forms of excluded middle for linear orders. Math. Log. Q., 65(1):105-107, 2019. [doi]

Abstract

Abstract is missing.