Abstract
Abstract
This paper explores undecidability in theories of positive characteristic function fields in the “geometric” language of rings LF = {0, 1,+, ·, F}, with a unary predicate F for nonconstant elements. We indicate how to generalise existing machinery to prove the undecidability of the ∀1∃+-LF theory (without parameters) of any function field of a curve over an algebraic extension of Fp, not algebraically closed. We discuss the problem (and its geometric implications) further in this context too.
MSC Classification: 03B25 , 12L05
Publisher
Research Square Platform LLC
Reference42 articles.
1. H Stichtenoth (2009) {Algebraic Function Fields and Codes}. Springer, {Second Edition, Graduate Texts in Mathematics 254}
2. A Weil (1974) {Basic Number Theory}. Springer Verlag
3. I Reiner (2003) {Maximal Orders}. Clarendon Press, Oxford, {London Mathematical Society Monographs -- New Series 28}
4. M Fried and M Jarden (2008) {Field Arithmetic}. Springer-Verlag, {Ergebnisse der Mathematik und ihrer Grenzgebiete. 3.\ Folge; A Series of Modern Surveys in Mathematics, Volume 11, 3rd Edition}
5. S. Lang (1994) {Algebraic Number Theory}. Springer, {Second Edition, Graduate Texts in Mathematics 110}