Recursive existentially closed dimension groups

Thu, 27/05/2010
17:00
Philip Scowcroft (Wesleyan/Oxford) Logic Seminar Add to calendar L3

One may answer a question of Macintyre by showing that there are recursive existentially closed dimension groups.  One may build such groups having most of the currently known special properties of finitely generic dimension groups, though no finitely generic dimension group is arithmetic.