Yayi Fu

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Enclosing a Compact Set in an O-minimal Expansion of $(R, +, \cdot, 0, 1 <)$

Yayi Fu

Fix an o-minimal expansion $R = (R, +, \cdot, 0, 1 <, ...)$ of the real ordered field. Given $C^{1}$ functions $f_{1}, ..., f_{k}$ , $g_{1}, ..., g_{k} : M \to R$ on a definable…

math.LO2026

Towards Trans-Exponential O-minimal Expansion of $(R, +, \cdot, 0, 1 <)$

Yayi Fu

We add an analytic trans-exponential function $I ¨ $ to $R_{an, e x p}$ . We reduce the o-minimality of $R_{an, e x p, I ¨ }$ to the existence of "many" regular values for…

Enclosing a Compact Set in an O-minimal Expansion of (R,+,⋅,0,1<)

Towards Trans-Exponential O-minimal Expansion of (R,+,⋅,0,1<)

Enclosing a Compact Set in an O-minimal Expansion of $(R, +, \cdot, 0, 1 <)$

Towards Trans-Exponential O-minimal Expansion of $(R, +, \cdot, 0, 1 <)$