The maximal linear extension theorem in second order arithmetic

Alberto Marcone, Richard A. Shore. The maximal linear extension theorem in second order arithmetic. Arch. Math. Log., 50(5-6):543-564, 2011. [doi]

Abstract

Abstract is missing.