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 https://math.uchicago.edu/~shmuel/lg-readings/Ax,%20Elementary%20theory%20of%20finite%20fields.pdf 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 😭) #science source