Positive Existential Definability with Unit, Addition and Coprimeness.

Mikhail R. Starchak

Browse the full ISSAC paper archive.