<p>In a previous paper of the author it was shown that the question whether systems of exponential diophantine equations are solvable in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_960_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {Q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> is undecidable. Now we show that the solvability of a conjunction of exponential diophantine equations in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_960_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {Q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> is equivalent to the solvability of just one such equation. It follows that the problem whether an exponential diophantine equation has solutions in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_960_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {Q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> is undecidable. We also show that two particular forms of exponential diophantine equations are undecidable. </p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Conjunctions of exponential diophantine equations over \({\mathbb {Q}}\)

  • Mihai Prunescu

摘要

In a previous paper of the author it was shown that the question whether systems of exponential diophantine equations are solvable in \({\mathbb {Q}}\) Q is undecidable. Now we show that the solvability of a conjunction of exponential diophantine equations in \({\mathbb {Q}}\) Q is equivalent to the solvability of just one such equation. It follows that the problem whether an exponential diophantine equation has solutions in \({\mathbb {Q}}\) Q is undecidable. We also show that two particular forms of exponential diophantine equations are undecidable.