ANEW RELATION‐COMBINING THEOREM AND ITS APPLICATION
From MaRDI portal
Publication:4295232
DOI10.1002/malq.19920380117zbMath0793.03004OpenAlexW2159229515MaRDI QIDQ4295232
Publication date: 21 August 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19920380117
Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Diophantine equations (11D99)
Related Items