THE SURJECTIVITY AND THE CONTINUITY OF DEFINABLE FUNCTIONS IN SOME DEFINABLY COMPLETE LOCALLY O-MINIMAL EXPANSIONS AND THE GROTHENDIECK RING OF ALMOST O-MINIMAL STRUCTURES

被引:0
|
作者
Berraho, Mourad [1 ]
机构
[1] Ibn Tofail Univ, Fac Sci, Dept Math, Kenitra, Morocco
关键词
Coordinate projection; Grothendieck rings; definably complete locally o-minimal expansion of a densely linearly ordered abelian group;
D O I
10.21857/y26keclz69
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this paper, we first show that in a definably complete locally o-minimal expansion of an ordered abelian group (M, <, +, 0, ...) and for a definable subset X subset of M-n which is closed and bounded in the last coordinate such that the set pi(n-1)(X) is open, the mapping pi(n-1) is surjective from X to Mn-1, where pi(n-1) denotes the coordinate projection onto the first n - 1 coordinates. Afterwards, we state some of its conse-quences. Also we show that the Grothendieck ring of an almost o-minimal expansion of an ordered divisible abelian group which is not o-minimal is null. Finally, we study the continuity of the derivative of a given definable function in some ordered structures.
引用
收藏
页码:1 / 9
页数:9
相关论文
共 50 条