Interpreting the monadic second order theory of one successor in expansions of the real line
Interpreting the monadic second order theory of one successor in expansions of the real line
复制标题
解释实线展开中的一后继者的一元二阶理论
DOI：
10.1007/s11856-018-1635-y
复制
发表时间：
2016
影响因子：
1
通讯作者：
Erik Walsberg
中科院分区：
文献类型：
--
作者：
Philipp Hieronymi;Erik Walsberg
给出实线的一阶展开式的充分条件，以定义单后继一元二阶理论的标准模型。这样的展开不满足Shelah定义的任何组合驯服属性，例如NIP甚至NTP2。我们用它来推导关于（R,<, +）的NTP2展开式中可定义集的第一个一般结果。
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties defined by Shelah, such as NIP or even NTP2. We use this to deduce the first general results about definable sets in NTP2 expansions of (R,<, +).