Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662585 | Annals of Pure and Applied Logic | 2011 | 8 Pages |
Abstract
Let R be an o-minimal field with a proper convex subring V. We axiomatize the class of all structures (R,V) such that , the corresponding residue field with structure induced from R via the residue map, is o-minimal. More precisely, in Maříková (2010) [8] it was shown that certain first-order conditions on (R,V) are sufficient for the o-minimality of . Here we prove that these conditions are also necessary.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic