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: |
Fermat's Last Theorem
Exponentiation Conjecture 010102 general mathematics 03F30 (Primary) 11U10 03H15 03C62 (Secondary) abc conjecture Context (language use) Mathematics - Logic 0102 computer and information sciences 01 natural sciences 010201 computation theory & mathematics FOS: Mathematics Arithmetic function 0101 mathematics Arithmetic Logic (math.LO) Presburger arithmetic Mathematics Catalan's conjecture |
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 |
Externí odkaz: | |
Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |