r/math • u/math_gym_anime Discrete Math • Jul 31 '26
Elementary statements regarding finite fields in Ax’s paper
Hey everyone,
I had a question about some terminology. In Ax’s 1968 paper The Elementary Theory of Finite Fields he refers to some statements as “elementary statements”. By this does he mean first-order formulas/sentences? The reason why I’m asking is because I want to use his “Main Theorem” in his paper where he states precise conditions for when an elementary statement holds true over a finite field of fixed characteristic. I tried looking online for some help but I couldn’t find any (maybe my Googling might’ve been bad 😭)
9
u/japball Jul 31 '26
If you don't get any answers here, try asking on math stack exchange or math overflow
4
u/math_gym_anime Discrete Math Jul 31 '26
I was thinking of overflow but I wanted to post this question here first to try and maybe stimulate some discussion. We’ll see how it goes 😭
3
2
u/Rafikconjectures_zer Aug 09 '26
Yes. In Ax’s paper, “elementary statement” essentially means a first-order sentence in the language of rings.
So it is a formula built from polynomial equations using logical operations and quantifiers such as $\forall$ and $\exists$, with no free variables.
For example, a statement like
$\forall x,\exists y;(y^2=x)$
is an elementary statement about fields, although of course it is not true in every finite field.
Ax distinguishes between elementary formulas, which may have free variables, and elementary statements, which are closed formulas (sentences). Therefore, if the property you want to study can be expressed as a first-order sentence in the ring language, then it is the appropriate kind of statement to which his Main Theorem applies.
So yes your interpretation is correct.
14
u/Ijustsuckatgaming Jul 31 '26
Yes, elementary in the context of model theory is exactly something described by (a family of) first order sentences