具有二阶性质的模型，V：一个一般原则
逻辑
2008-02-03 v1
摘要
我们提出了一个用于执行某些构造的一般框架。统一的要素是一个组合原则，我们以游戏的形式表述它：第一名玩家向第二名玩家提出挑战，要求完成在宇宙的一个泛型扩张中容易得多的构造，而第二名玩家借助 Diamond 作弊。第 1 节包含了一个公理框架，适用于描述若干相关构造，并给出了在此框架下主要定理的陈述。在第 2 节中我们说明了组合原则的使用。主要结果的证明随后在第 3–5 节中完成。
引用
@article{arxiv.math/9311211,
title = {Models with second order properties, V: A General principle},
author = {Bradd Hart and Claude Laflamme and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9311211},
year = {2008}
}