半解析

是半解析的，如果對於所有，存在一個開鄰域使得是形如 ${x^_ in U:f(x^_)=0}$ 和 ${x^_ in U:g(x^_)>0}$ 的集合的有限布林組合，其中是解析函式。

另請參閱

更多嘗試

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