Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662570 | Annals of Pure and Applied Logic | 2007 | 14 Pages |
Abstract
Pillay and Steinhorn have described all ℵ0-categorical o-minimal theories [A. Pillay, C. Steinhorn, Definable sets in ordered structures I, Transactions of the American Mathematical Society 295 (1986) 565–592]. Their description implies binarity for these theories. Here we present a criterion for binarity of ℵ0-categorical weakly o-minimal theories in terms of convexity rank.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic