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

DOI10.1002/malq.201500069zbMath1469.03163arXiv1602.03580OpenAlexW3099039506WikidataQ111976472 ScholiaQ111976472MaRDI QIDQ5108098

Vítězslav Kala, Petr Glivický

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.03580

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Nonstandard arithmetic (number-theoretic aspects) (11U10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Independence results for variants of sharply bounded induction
• Fermat's last theorem and Bezout's theorem in GCD domains
• Modular elliptic curves and Fermat's Last Theorem
• Kurt Gödel and the Foundations of Mathematics
• What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
• Number theory and elementary arithmetic†
• Primary cyclotomic units and a proof of Catalans conjecture
• Linear equations in primes

This page was built for publication: Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics