¿Existen ejemplos conocidos (preferiblemente ''concreto'') de un anillo %-%-% (commutative, con 1) de tal manera que:
%-%-% la teoría del primer orden de %-%-% es indeciso, pero
%-%-% la teoría existencial positiva (diofantina) de %-%-% es determinable?
La teoría de la diofantina consiste en fórmulas de la forma %-%-% en las que %-%-% es una tupla %-%-%-%-%-%y %-%%%-%.el sistema de las ecuaciones polinómicas, con coeficientes en (alguna subarsión de) %-%-%.
