论文标题
部分可观测时空混沌系统的无模型预测
Model-completeness for the lattice of finite unions of closed intervals of a dense linear order
论文作者
论文摘要
让我成为一个密集的线性顺序，具有左端点，但没有右端点。 We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the closed definable sets in any o-minimal expansion of I. Our main result says that L(I), the expansion of the lattice by constants for the empty set and the smallest element of I (viewed as a singleton subset) as well as four unary functions, is模型完成。主要结果的证明利用了先前关于作者博士学位论文I弱的Monadic二阶理论的结果。
Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the closed definable sets in any o-minimal expansion of I. Our main result says that L(I), the expansion of the lattice by constants for the empty set and the smallest element of I (viewed as a singleton subset) as well as four unary functions, is model-complete. The proof of the main result makes use of previous results regarding the weak monadic second order theory of I from the authors PhD thesis.
