半解析

是半解析的，如果对于所有，存在一个开邻域使得是形如 ${x^_ in U:f(x^_)=0}$ 和 ${x^_ in U:g(x^_)>0}$ 的集合的有限布尔组合，其中是解析函数。

另请参阅

解析函数, 伪解析函数, 次解析的

使用 Wolfram|Alpha 探索

更多尝试

参考文献

Marker, D. "Model Theory and Exponentiation." Not. Amer. Math. Soc. 43, 753-759, 1996.

在 Wolfram|Alpha 中被引用

请引用为

Weisstein, Eric W. "半解析." 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Semianalytic.html

主题分类