赋值中可构造函数的重复序列闭包
On repeated sequential closures of constructible functions in valuations
摘要：
可构造函数空间构成广义赋值空间的稠密子空间。在这篇文章中，我们证明了一个更强的性质，即前一个空间的序列闭包，取足够多的次数（实际上是无穷多次），等于后一个。这个更强的性质对于流形上的赋值理论中的某些应用是必要的。
英文摘要：
The space of constructible functions form a dense subspace of the space of generalized valuations. In this note we prove a somewhat stronger property that the sequential closure, taken sufficiently many (in fact, infinitely many) times, of the former space is equal to the latter one. This stronger property is necessary for some applications in the theory of valuations on manifolds.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
