Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics. - Petr Glivický; Vítezslav Kala (Math. Log. Q., 2017)

A wild model of linear arithmetic and discretely ordered modules. - Petr Glivický; Pavel Pudlák (Math. Log. Q., 2017)