论文信息 - On expansions of weakly o-minimal non-valuational structures by convex predicates

On expansions of weakly o-minimal non-valuational structures by convex predicates

We prove that if M = (M,≤,+, . . .) is a weakly o-minimal non-valuational structure expanding an ordered group (M,≤,+), then its expansion by a family of ‘non-valuational’ unary predicates remains non-valuational. The paper is based on the author’s earlier work on strong cell decomposition for weakly o-minimal non-valuational expansions of ordered groups.

Roman Wencel

[1] Roman Wencel. Topological properties of sets definable in weakly o-minimal structures , 2010, J. Symb. Log..

[2] Dugald Macpherson,et al. Weakly o-minimal structures and real closed fields , 2000 .

[3] Roman Wencel. Weakly o-minimal nonvaluational structures , 2008, Ann. Pure Appl. Log..

[4] H. Gaifman,et al. Symbolic Logic , 1881, Nature.

[5] Saharon Shelah. Dependent first order theories, continued , 2004 .

[6] Bruno Poizat,et al. Paires de Structures O-Minimales , 1998, J. Symb. Log..

[7] Bektur Sembiuly Baizhanov. Expansion of A Model of A Weakly O-Minimal Theory by A Family of Unary Predicates , 2001, J. Symb. Log..

[8] Lou van den Dries,et al. T-Convexity and Tame Extensions , 1995, J. Symb. Log..

[9] Charles Steinhorn,et al. Tame Topology and O-Minimal Structures , 2008 .

[10] A. Wilkie. TAME TOPOLOGY AND O-MINIMAL STRUCTURES (London Mathematical Society Lecture Note Series 248) By L OU VAN DEN D RIES : 180 pp., £24.95 (US$39.95, LMS Members' price £18.70), ISBN 0 521 59838 9 (Cambridge University Press, 1998). , 2000 .