equivalence of forcing notions
Let and be two forcing![]()
notions such that given any generic
subset of there is a generic subset of with and vice-versa. Then and are equivalent
![]()
.
Since if , for any -name , it follows that if and then .
| 单词 | EquivalenceOfForcingNotions |
| 释义 | equivalence of forcing notionsLet and be two forcing Since if , for any -name , it follows that if and then . |
| 随便看 |
|
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。