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

DOI10.1142/S0219061320500142MaRDI QIDQ4988824zbMATH OpenOpenAlexFDO

Authors L. Darnière, Marcus Tressl

Publication date 19 May 2021

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1810.12562

zbMATH Keywords

definable functionsdefining integersrings of continuous functionstopological fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Valued fields (12J10) Ordered fields (12J15) Model theory of fields (12L12)

Abstract: Let K be an expansion of either an ordered field or a valued field. Given a definable set X $subseteq$ K^m 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 $in$ C(X) which take values in Z is definable in C(X).

Recommendations

• Integer-valued definable functions
• Real spectrum of ring of definable functions
• Anneaux p-adiquement clos et anneaux de fonctions définissables
• Rings of analytic functions definable in o-minimal structure
• Nondefinability of rings of integers in most algebraic fields

Cites work

• A version of o-minimality for the p-adics
• Anneaux p-adiquement clos et anneaux de fonctions définissables
• Anneaux de fonctions p-adiques
• Cell decompositions of C-minimal structures
• Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Dp-minimal valued fields
• Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields
• Every real closed field has an integer part
• scientific article; zbMATH DE number 421394 (Why is no real title available?)
• scientific article; zbMATH DE number 1824113 (Why is no real title available?)
• scientific article; zbMATH DE number 4031852 (Why is no real title available?)
• scientific article; zbMATH DE number 3710144 (Why is no real title available?)
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets
• On dp-minimal ordered structures
• On the strength of some topological lattices
• Recent progress on definability of Henselian valuations
• Shorter Notes: On the Undecidability of Power Series Fields
• Super real closed rings
• Tame topology over dp-minimal structures
• TOPOLOGICAL CELL DECOMPOSITION AND DIMENSION THEORY IN P-MINIMAL FIELDS
• Undecidability of Some Topological Theories

Cited in

(1)

• Undecidability of indecomposable polynomial rings

This page was built for publication: Defining integer-valued functions in rings of continuous definable functions over a topological field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4988824)