搜索结果: 1-1 共查到“理学 Extender Based”相关记录1条 . 查询时间(0.085 秒)
We define extender sequences, generelizing measure sequences from Radin Forcing. Using the extender sequences we combine Gitik-Magidor forcing for adding many Prikry sequences with Radin forcing. This...