On the Independence of the Kinna Wagner Principle
On the Independence of the Kinna Wagner Principle
复制标题
论金纳·瓦格纳原则的独立性
DOI：
10.1002/malq.19740203104
复制
发表时间：
1974
影响因子：
0.3
通讯作者：
David Pincus
中科院分区：
文献类型：
--
作者：
David Pincus
主观可定界语句和术语选择语句在[131]中有定义。这里可以充分说明，主观可定界命题包括JECH和SOCHOR[7]的可定界命题，项选择命题是良序集合族的选择公理的变体。利用上述元定理，可以立即得出[l]的主要结果，并从FRAENKEL-MOSTOWSXI模型推导出[l]的其他结果（见[l]的5.3）。然而，如果想要考虑包括PI在内的连词，还需要更多。以下定理是本文的主要定理，适用于与PI的合式，但仅在frenkel - mostowski模型是[9]的有序模型的情况下。我们希望消除这一限制，并将PI替换为更全面的语句类，例如PJ、OE和0。这是一个悬而未决的问题。（我们在§5.11中解决这个问题）。
Surjectively boundable statements and term choice statements are defined in [131. It suffices here to say that the surjectively boundable statements include the boundable statements of JECH and SOCHOR [7] and that the term choice statements are varients of the axiom of choice for families of well orderable sets. With the above metatheorem one can immedately conclude the main result of [l] and deduce the other results (see 5 3 of [l]) from FRAENKEL-MOSTOWSXI models. However more is needed if one wishes to consider conjunctions including PI.The following theorem, the main theorem of this paper, applies to conjunctions with PI but only in the case that the FRAENKEL-MOSTOWSKI model is the ordered model of [9]. It would be desirable to remove this restriction and also to replace PI by a more comprehensive class of statements including, eg PJ, OE, and 0. This is an open problem.(We solve this in § 5.11).