Fermat's Last Theorem and Catalan's Conjecture in Weak Exponential Arithmetics

Petr Glivický, Vítězslav Kala

We study Fermat's Last Theorem and Catalan's conjecture in the context of weak arithmetics with exponentiation. We deal with expansions (B,e) of models of arithmetical theories (in…