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?
Elementary theory of finite fields
amateur algebraist
- 171
- 1
- 1
- 6