Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
From MaRDI portal
Publication:5057119
DOI10.4467/20842589RM.22.004.16661MaRDI QIDQ5057119
Dimitra Chompitaki, Manos Kamarianakis, Thanases Pheidas
Publication date: 15 December 2022
Published in: Reports on Mathematical Logic (Search for Journal in Brave)
Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication: Notes on the decidability of addition and the Frobenius map for polynomials and rational functions