论文标题
具有野生伪定位的驯服假理论
Tame pseudofinite theories with wild pseudofinite dimensions
论文作者
论文摘要
我们构建了两种伪定理论，这些理论从新稳定性的角度驯服，但在所有模型中都具有病理良好的伪定位尺寸。这些理论是Garcia，MacPherson和Steinhorn可能对话的可能对话的理论，这些理论将假芬矿与驯服性有关。我们证明，这些理论中的假芬妮铁矿性基数在确定性方面表现良好，并提供了一种新颖的方法，可以使用假芬米基质性证明消除量词消除。
We construct two pseudofinite theories which are tame from a neostability perspective, yet have pathological fine pseudofinite dimension in all models. These theories serve as counterexamples to potential converses of results by Garcia, Macpherson and Steinhorn relating pseudofinite dimension to tameness. We demonstrate that pseudofinite cardinality in these theories is well behaved with regards to definability, and provide a novel method of proving quantifier elimination using pseudofinite cardinality.
