Quadratic residues and \(x^ 3+y^ 3=z^ 3\) in models of \(IE_ 1\) and \(IE_ 2\)

DOI10.1305/NDJFL/1093634730zbMath0794.03081OpenAlexW2134526948MaRDI QIDQ1317987

Stuart T. Smith

Publication date: 22 March 1994

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634730

zbMATH Keywords

Fermat's Last Theoremquadratic reciprocity lawmodels of arithmeticrepresentability of primesexistential bounded induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items (1)

Algebraic combinatorics in bounded induction

This page was built for publication: Quadratic residues and \(x^ 3+y^ 3=z^ 3\) in models of \(IE_ 1\) and \(IE_ 2\)