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

DOI10.1142/S0219061320500142zbMath1486.03063arXiv1810.12562MaRDI 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 functions; definable functions; topological fields; defining integers

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03C64: Model theory of ordered structures; o-minimality

12J15: Ordered fields

12L12: Model theory of fields

12J10: Valued fields