Diophantine equations in fragments in arithmetic
From MaRDI portal
Publication:1112811
DOI10.1016/0168-0072(88)90051-6zbMath0661.03044OpenAlexW1983855274MaRDI QIDQ1112811
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
derivabilityopen inductionfragments of arithmeticdiophantine formulaeFermat's equationsopen formulae built up from polynomial equationsproof-theoretic characterization
First-order arithmetic and fragments (03F30) Cubic and quartic Diophantine equations (11D25) Linear Diophantine equations (11D04)
Related Items (1)
Cites Work
This page was built for publication: Diophantine equations in fragments in arithmetic