Representing Hyper-arithmetical Sets by Equations over Sets of Integers

An algorithm to compute the set of chara

An algorithm to compute the set of characteristics of a system of polynomial equations over the integers

✍ Rosemary Baines; Peter Vámos 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 135 KB

We describe a (finite) algorithm to determine the set of characteristics of a system of polynomial equations with integer coefficients by using the theory of Gröbner bases. This gives us a proof that the set of characteristics must be either finite and not containing zero, or containing zero and cof