Definable functions continuous on curves in o-minimal structures

DOI10.1016/J.APAL.2014.04.005MaRDI QIDQ2349105zbMATH OpenOpenAlexFDO

Authors Janak Ramakrishnan

Publication date 17 June 2015

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

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

zbMATH Keywords

extensioncontinuous functionso-minimalitynon-oscillatory curves

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05) Model theory of ordered structures; o-minimality (03C64) (C^infty)-functions, quasi-analytic functions (26E10) Real-analytic and semi-analytic sets (14P15)

Abstract: We give necessary and sufficient conditions on a non-oscillatory curve in an o-minimal field such that, for any bounded definable function, the germ of the function on an initial segment of the curve can be continuously extended to a closed definable set. This situation is translated into a question about types: What are the conditions on an $n$-type such that, for any bounded definable function, there is a definable set containing the type on which the function is continuous, and can be extended continuously to the set's closure? All such types are definable, and we give the precise conditions that are equivalent to existence of a desired definable set.

Recommendations

• Some classical analysis results for continuous definable mappings
• Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure
• Definability and nondefinability results for certain o-minimal structures
• O-minimal version of Whitney's extension theorem
• Definable types in -minimal theories

Cites work

• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• T-convexity and tame extensions
• Definable types in -minimal theories
• Expansions of the real field with power functions
• Model completeness of o-minimal structures expanded by Dedekind cuts
• Non-Archimedean tame topology and stably dominated types
• Omitting types in -minimal theories
• Sur les points singuliers des équations différentielles

Cited in

(7)

• Fiberwise properties of definable sets and functions in o-minimal structures
• The surjectivity and the continuity of definable functions in some definably complete locally o-minimal expansions and the Grothendieck ring of almost o-minimal structures
• Thom stratifications for functions definable in o-minimal structures on (R, +, ·)
• Плюригармонические определимые функции в некоторых $o$-минимальных расширениях вещественного поля
• Infinitely Peano differentiable functions in polynomially bounded o-minimal structures
• Some nondefinability results with entire functions in a polynomially bounded o-minimal structure
• Sheaves of continuous definable functions

This page was built for publication: Definable functions continuous on curves in o-minimal structures

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