Finite Arithmetic with Infinite Descent

DOI10.1111/J.1746-8361.1989.TB00949.XMaRDI QIDQ3032254zbMATH OpenOpenAlexWikidataFDO

Authors Yvon Gauthier

Publication date 1989

Published in Dialectica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1746-8361.1989.tb00949.x

zbMATH Keywords

constructivitydefinite quantifierFermat's method of infinite descentfinite arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 516953
• scientific article; zbMATH DE number 1743775
• scientific article; zbMATH DE number 4033824
• From Fermat to Gauss: indefinite descent and methods of reduction in number theory
• Descente Infinie + Deduction

Cited in

(5)

• Finally finite cyclic arithmetic function
• scientific article; zbMATH DE number 516953 (Why is no real title available?)
• FINITENESS RESULTS IN DESCENT THEORY
• scientific article; zbMATH DE number 5241977 (Why is no real title available?)
• Beyond the method of infinite descent

This page was built for publication: Finite Arithmetic with Infinite Descent

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3032254)