Defining integer-valued functions in rings of continuous definable functions over a topological field

被引:1
作者
Darniere, Luck [1 ]
Tressl, Marcus [2 ]
机构
[1] Univ Angers, Dept Math, 2 Blvd Lavoisier, F-49045 Angers 01, France
[2] Univ Manchester, Dept Math, Oxford Rd, Manchester M13 9PL, Lancs, England
关键词
Rings of continuous functions; defining integers; topological fields; definable functions; DIMENSION; SETS;
D O I
10.1142/S0219061320500142
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Let K be an expansion of either an ordered field (K, <=), or a valued field (K,v). Given a definable set X subset of Km let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and on the structure K, in particular when K is o-minimal or P-minimal, or an expansion of a local field, we prove that the ring of integers Z is interpretable in C(X). If K is o-minimal and X is definably connected of pure dimension >= 2, then C(X) defines the subring Z. If K is P-minimal and X has no isolated points, then there is a discrete ring Z contained in K and naturally isomorphic to Z, such that the ring of functions f is an element of C(X) which take values in Z is definable in C(X).
引用
收藏
页数:24
相关论文
共 27 条
[1]  
[Anonymous], 1998, Tame Topology and O Minimal Structures
[2]   Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields [J].
Astier, Vincent .
FUNDAMENTA MATHEMATICAE, 2013, 220 (01) :7-21
[4]   RINGS OF P-ADIC FUNCTIONS [J].
BELAIR, L .
JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (02) :484-497
[5]   P-ADICALLY CLOSED RINGS AND RINGS OF DEFINABLE FUNCTIONS [J].
BELAIR, L .
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) :539-553
[6]  
Cherlin G., 1980, MODEL THEORY ALGEBRA, V834, P44
[7]  
Darni`ere L., 2006, ARXIVMATH0606792
[8]   Recent progress on definability of Henselian valuations [J].
Fehm, Arno ;
Jahnke, Franziska .
ORDERED ALGEBRAIC STRUCTURES AND RELATED TOPICS, 2017, 697 :135-143
[9]  
Grzegorczyk A., 1951, FUND MATH, V38, P137
[10]  
Guzy N., 2008, SEMINAIRE STRUCTURES