An unexpected separation result in Linearly Bounded Arithmetic

Arnold Beckmann, Jan Johannsen. An unexpected separation result in Linearly Bounded Arithmetic. Math. Log. Q., 51(2):191-200, 2005. [doi]

Abstract

Abstract is missing.