期刊
JOURNAL OF SYMBOLIC LOGIC
卷 75, 期 3, 页码 841-867出版社
ASSOC SYMBOLIC LOGIC, INC
DOI: 10.2178/jsl/1278682203
关键词
-
类别
资金
- Marie Curie Intra-European Fellowship [METF-CT-2003-501326]
- Polish Government [N201 018 32/0800]
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps. strengthening an analogous result from [2] for sets and functions definable in models of weakly o-minimal theories. We pay special attention to large subsets of Cartesian products of definable sets, showing that if X. Y and S are non-empty definable sets and S is a large subset of X x Y. then for a large set of tuples <(a) over bar (1),...,(a) over bar (2k)> is an element of X(2k). where k = dim(Y), the union of fibers S((a) over bar1) boolean OR...boolean OR S((a) over bar 2k) is large in Y. Finally, given a weakly o-minimal structure M. we find various conditions equivalent to the fact that the topological dissension in M enjoys the addition property
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据