极小共尾扩张的多样性

固定一个皮亚诺算术的可数非标准模型 $\mathcal M$。即使对允许的极小共尾扩张 $\mathcal N \succ \mathcal M$ 的类型施加某些相当严格的限制,我们仍然发现对于这样的 $\mathcal N$,存在 $2^{\aleph_0}$ 种可能的 $(\mathcal N,M)$ 的理论。