Comuna de Concepción, Chile
It is shown that the positive existential theory of the structure ?S = (S?1F[t];=,F, 0, 1,+, |, f ? tf), where f ? tf is the multiplication by t map, S is non-empty a finite set of irreducible polynomials, and F is a finite field of odd characteristic, is undecidable.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados