Expansions of real closed fields that introduce no new smooth functions

DOI10.1016/J.APAL.2020.102808zbMATH Open1454.14139arXiv1812.10151OpenAlexW3013668185MaRDI QIDQ2187264FDOQ2187264

Authors: Pantelis E. Eleftheriou, Alex Savatovsky 

Publication date: 2 June 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: We prove the following theorem: let $widetildemathcalR$ be an expansion of the real field $overlinemathbbR$, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic chunk". Then every definable smooth function $f:Xsubseteqmathbb{R}^{n}omathbbR$ with open semialgebraic domain is semialgebraic. Conditions (I) and (II) hold for various d-minimal expansions $widetildemathcalR=langleoverlinemathbbR,Pangle$ of the real field, such as when $P=2^{m}athbbZ$, or $PsubseteqmathbbR$ is an iteration sequence. A generalization of the theorem to d-minimal expansions $widetildemathcalR$ of $mathbb{R}_{an}$ fails. On the other hand, we prove our theorem for expansions$widetildemathcalR$ of arbitrary real closed fields. Moreover, its conclusion holds for certain structures with d-minimal open core, such as $langleoverlinemathbbR,mathbb{R}_{alg},2^{m}athbbZangle$.

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

Recommendations

• D-minimal expansions of the real field have the zero set property
• Expansions of the real field with power functions
• The real field with convergent generalized power series
• Smooth functions in o-minimal structures
• Undefinability results in o-minimal expansions of the real numbers

zbMATH Keywords

o-minimalitysmooth functionsd-minimalitytame expansions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Nash functions and manifolds (14P20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An open mapping theorem for o-minimal structures
• Structure theorems for o-minimal expansions of groups
• Returning to semi-bounded sets
• Expansions of dense linear orders with the intermediate value property
• The field of reals with a predicate for the powers of two
• Expansions which introduce no new open sets
• Expansions of o-minimal structures by fast sequences
• The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
• Michael's selection theorem in d-minimal expansions of the real field
• Expansions of o-minimal structures by iteration sequences
• D-minimal expansions of the real field have the zero set property

Cited In (3)

• D-minimal expansions of the real field have the zero set property
• Separately Nash and arc-Nash functions over real closed fields
• Noetherian varieties in definably complete structures

This page was built for publication: Expansions of real closed fields that introduce no new smooth functions

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