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]

Authors

Arnold Beckmann

This author has not been identified. Look up 'Arnold Beckmann' in Google

Jan Johannsen

This author has not been identified. Look up 'Jan Johannsen' in Google