Skip to main content
2 of 2
edited tags
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

Elementary theory of finite fields

I read on Ax's article that the elementary theory of finite fields is decidable if one assumes the continuum hypothesis to be true. What about if one assumes the hypothesis to be false?