What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory

DOI10.2178/bsl/1286284558zbMath1210.03029OpenAlexW2082963564MaRDI QIDQ3163662

Colin McLarty

Publication date: 26 October 2010

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/84632758ee13e4bb3f403284492bfdf2f3a3b711

zbMATH Keywords

Fermat's Last TheoremGrothendieck universesset-theoretic assumption

Mathematics Subject Classification ID

Higher degree equations; Fermat's equation (11D41) Axiomatics of classical set theory and its fragments (03E30)

Related Items (11)

Are there enough injective sets? ⋮ SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT ⋮ How to Choose New Axioms for Set Theory? ⋮ Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics ⋮ Emmy Noether's first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism ⋮ Pragmatic Platonism ⋮ Pragmatic Platonism ⋮ Sets and supersets ⋮ Proofs and retributions, or: why Sarah can't take limits ⋮ Can we resolve the continuum hypothesis? ⋮ Grothendieck’s Unifying Vision of Geometry

Cites Work

• Unnamed Item
• Categories for the working mathematician: making the impossible possible
• Finiteness theorems for abelian varieties over number fields.
• Group extensions for 45 years
• Modular elliptic curves and Fermat's Last Theorem
• Foundations of Grothendieck duality for diagrams of schemes
• Fields Medals (IV): An Instinct for the Key Idea
• Number theory and elementary arithmetic†
• Higher Topos Theory (AM-170)

This page was built for publication: What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory