You cannot define the variety as the set of valuations. Birational varieties will have the same set of valuations.
As far as I remember, logicians were looking at it for a while. If you have spare 250 bucks, you can learn something there.
Bugs Bunny
- 12.4k
- 1
- 30
- 65