The natural continuous map from the space of n-types over a commutative ring to the affine n-space over that ring.
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.