Article ID Journal Published Year Pages File Type
4662570 Annals of Pure and Applied Logic 2007 14 Pages PDF
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