y = 2x vs. y = 3x

Alexei P. Stolboushkin, Damian Niwinski. y = 2x vs. y = 3x. Journal of Symbolic Logic, 62(2):661-672, 1997.

Abstract

Abstract is missing.