Topological elementary equivalence of closed semi-algebraic sets in the real plane

被引:8
|
作者
Kuijpers, B
Paredaens, J
Van den Bussche, J
机构
[1] Limburgs Univ Ctr, Dept WNI, B-3590 Diepenbeek, Belgium
[2] Univ Instelling Antwerp, Dept Math & Comp Sci, B-2610 Antwerp, Belgium
关键词
D O I
10.2307/2695063
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We investigate topological properties of subsets S of the real plane, expressed bq first-order logic sentences in the language of the reals augmented with a binary relation symbol for S.. Two sets are called topologically elementary equivalent if they have the same such first-order topological properties. The contribution of this paper is a natural and effective characterization of topological elementary equivalence of closed semi-algebraic sets.
引用
收藏
页码:1530 / 1555
页数:26
相关论文
共 50 条