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

DOI10.1142/S0219061320500142zbMath1486.03063arXiv1810.12562OpenAlexW2990319770MaRDI QIDQ4988824

Luck 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

rings of continuous functionsdefinable functionstopological fieldsdefining integers

Mathematics Subject Classification ID

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

Cites Work

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

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