Elimination theory for addition and the frobenius map in polynomial rings

DOI10.2178/jsl/1102022210zbMath1093.03019OpenAlexW1984974548MaRDI QIDQ5311766

Zahidi, Karim, Thanases Pheidas

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1102022210

zbMATH Keywords

Frobenius mapPolynomial ring

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Related Items (3)

LOGICAL CHARACTERIZATION OF RECOGNIZABLE SETS OF POLYNOMIALS OVER A FINITE FIELD ⋮ On an exponential predicate in polynomials over finite fields ⋮ Decidability of Sub-theories of Polynomials over a Finite Field

Cites Work

• The theory of modules of separably closed fields 1
• Unnamed Item

This page was built for publication: Elimination theory for addition and the frobenius map in polynomial rings