English

Morse functions definable in d-minimal structures

Logic 2025-02-04 v1

Abstract

Fix a d-minimal expansion of an ordered field. We consider the space Dp(M)\mathcal D^p(M) of definable Cp\mathcal C^p functions defined on a definable Cp\mathcal C^p submanifold MM equipped with definable Cp\mathcal C^p topology. The set of definable Cp\mathcal C^p Morse functions is dense in Dp(M)\mathcal D^p(M).

Keywords

Cite

@article{arxiv.2502.01082,
  title  = {Morse functions definable in d-minimal structures},
  author = {Masato Fujita},
  journal= {arXiv preprint arXiv:2502.01082},
  year   = {2025}
}
R2 v1 2026-06-28T21:30:00.714Z