We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Decidability of the theory of addition and the Frobenius map in rings of rational functions

Abstract: We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$ elements, $F$ a field algebraic over $\mathbb{F}_p$ and $z$ a variable. We show that the structures of rings $R$, which are generated over $F[z]$ by adjoining a finite set of inverses of irreducible polynomials of $F[z]$ (e.g., $R=\mathbb{F}_p[z, \frac{1}{z}]$), with addition, the Frobenius map $x\mapsto x^p$ and the predicate '$\in F$' - together with function symbols and constants that allow building all elements of $\mathbb{F}_p[z]$ - are model complete, i.e., each formula is equivalent to an existential formula. Further, we show that in these structures all questions, i.e., \emph{first order sentences}, about the rings $R$ may be, constructively, translated into questions about $F$.
Comments: 24 pages
Subjects: Logic (math.LO); Commutative Algebra (math.AC); Number Theory (math.NT)
MSC classes: 03B25, 12L05 (Primary) 03C10, 03C60, 13A35, 13L05 (Secondary)
Cite as: arXiv:2107.11266 [math.LO]
  (or arXiv:2107.11266v1 [math.LO] for this version)

Submission history

From: Manos Kamarianakis [view email]
[v1] Fri, 23 Jul 2021 14:27:17 GMT (33kb)

Link back to: arXiv, form interface, contact.