Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics

Autor: Vítězslav Kala, Petr Glivický
Rok vydání: 2017
Předmět:
Zdroj: Mathematical Logic Quarterly
ISSN: 0942-5616
DOI: 10.1002/malq.201500069
Popis: 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 the language L=(0,1,+,x
Databáze: OpenAIRE
Nepřihlášeným uživatelům se plný text nezobrazuje