Résume |
This is intended to be an informal companion to some work on continuous logic expansions of (pseudo) finite fields.
I plan to start with some very basic continuous logic aspects (criteria for quantifier-elimination, for elimination of algebraically bounded quantifiers,
for preservation of definable sets), but will be glad to be guided by the discussion.
This forms a part of joint work with Will Johnson constructing a continuous-logic version of Grothendieck's sheaf-function correspondence over finite fields. |