MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I hope this is not too trivial, but I think this may be well known to someone (not me).

share|cite|improve this question
Just the classical form? – François G. Dorais Oct 11 '13 at 15:53
What do you mean by "reverse math"? – Liviu Nicolaescu Oct 11 '13 at 16:34
At least over an algebraically closed field, any given instance will be provable in that complete theory. On the other hand, the usual assertion which quantifies over all line bundles is indirectly making some statement in the language of arithmetic, much as here:… A priori, the same questions apply. – Adam Epstein Oct 11 '13 at 18:34

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.