Recursive existentially closed dimension groups
|
Thu, 27/05/2010 17:00 |
Philip Scowcroft (Wesleyan/Oxford) |
Logic Seminar |
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.
|
|||
