In this paper, the consistencies of (◇―) and (∣◇)are investigated, where (◇―) and (∣◇)are the generalizations of the diamond statement. Applying forcing method, we show that both are consistent with ZFC, respectively. Moreover, it is proved that (∣◇)holds in G(o)del's constructible universe L.%本文把集合论中著名的菱形性质◇做了两种推广,即(◇―)和(∣◇).用力迫方法证明了它们分别相对于ZFC协调.还证明了,(∣◇)在G(o)del可构成模型L中也成立.
展开▼