Publication:4942681

zbMath0938.03064MaRDI QIDQ4942681

Raatikainen, Panu

Publication date: 14 March 2000

zbMATH Keywords

Hilbert's tenth problem; arithmetical theories; diophantine representation; formalized theory

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

03D35: Undecidability and degrees of sets of sentences

03D15: Complexity of computation (including implicit computational complexity)

03F30: First-order arithmetic and fragments

03F20: Complexity of proofs

Related Items

On explicating the concept `the power of an arithmetical theory'