加载中…
Consider a Henselian rank one valued field of equicharacteristic zero along with the language of Denef–Pas. Let be an -definable (with parameters) function on a subset of . We prove that is piecewise continuous; more precisely, there is a finite partition of into -definable locally closed subsets of such that the restriction of to each is a continuous function.

生成讲解博客的中文版本

生成AI智能校验的中文版本