scientific article; zbMATH DE number 5310165

MaRDI QIDQ3517364zbMATH OpenFDO

Authors Gunther Cornelissen

Publication date 12 August 2008

Full work available at URL http://www.math.leidenuniv.nl/~naw/serie5/deel07/mrt2006/pdf/cornelissen.pdf

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Decidability (number-theoretic aspects) (11U05) Diophantine equations (11Dxx)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3517364)