具有二阶性质的模型,V:一般原理
Models with second order properties, V: A General principle
摘要:
我们提出了一个总体框架进行一些建设。统一因素是一个组合的原则,我们提出的一个游戏中,第一个球员的挑战,第二个球员进行建设,这将是更容易在一个泛型扩张的宇宙,和第二个球员作弊的援助钻石。第1节包含了一个公理化的框架,适合于描述一些相关的结构,以及根据这个框架对主要定理的陈述。在第2节中,我们说明了我们的组合原理的使用。然后在第3-5节中对主要结果进行证明。
英文摘要:
We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of Diamond. Section 1 contains an axiomatic framework suitable for the description of a number of related constructions, and the statement of the main theorem in terms of this framework. In section 2 we illustrate the use of our combinatorial principle. The proof of the main result is then carried out in sections 3-5.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。