Diophantine equations in fragments in arithmetic

DOI10.1016/0168-0072(88)90051-6zbMath0661.03044OpenAlexW1983855274MaRDI QIDQ1112811

Ulf R. Schmerl

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90051-6

zbMATH Keywords

derivabilityopen inductionfragments of arithmeticdiophantine formulaeFermat's equationsopen formulae built up from polynomial equationsproof-theoretic characterization

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Cubic and quartic Diophantine equations (11D25) Linear Diophantine equations (11D04)

Related Items (1)

Induction and Skolemization in saturation theorem proving

Cites Work

• Open sentences and the induction axiom
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Diophantine equations in fragments in arithmetic