The natural continuous map from the space of n-types over a commutative ring to the affine n-space over that ring.
-
-
oh woops, that'd be to the *power set* of the affine n-space. never mind o=
-
You have in mind a construction of a subvariety of affine n-space corresponding to each n-type over a ring? I don't see how.
-
......duh, right, you only get varieties out of positive quantifier-free formulas -.- i need to think harder before posting.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.