本文關(guān)鍵詞： ω_-超實(shí)數(shù) Mathias力迫 支配性實(shí)數(shù) 無(wú)界實(shí)數(shù) 基數(shù)不變量　出處：《數(shù)學(xué)雜志》2017年05期 　論文類(lèi)型：期刊論文

【摘要】：本文研究了加強(qiáng)型Mathias力迫及其在不可數(shù)情形下的推廣.通過(guò)力迫法,證明了Mathias力迫添加支配性實(shí)數(shù),而加強(qiáng)型Mathias力迫添加的是無(wú)界、非支配性的實(shí)數(shù).還證明了ω_1上的Mathias型力迫添加的是無(wú)界、非支配性的ω_1類(lèi)實(shí)數(shù)且不添加新的實(shí)數(shù).這些結(jié)論可應(yīng)用于對(duì)實(shí)數(shù)上的基數(shù)不變量的研究.
[Abstract]:In this paper, we study the augmented Mathias force and its extension in the case of uncountable conditions. By force forcing method, we prove that the Mathias force is forced to add the dominating real number. It is also proved that the forced addition of the Mathias type force on 蠅 _ s _ 1 is unbounded. The nondominant 蠅-class 1 real numbers without adding new real numbers. These conclusions can be applied to the study of cardinal invariants on real numbers.
【作者單位】： 華南理工大學(xué)廣州學(xué)院;
【基金】：Supported by National Natural Science Foundation of China(11401567)
【分類(lèi)號(hào)】：O174.1
【正文快照】： 1 IntroductionForcing is a mechanism of obtaining independent results over the commonly acceptedfoundation of mathematics,the Zermelo-Fraenkel axiom system with the axiom of choice.Since its formulation by Cohen[1],forcing has become a powerful tool in a

【相似文獻(xiàn)】

相關(guān)期刊論文 前8條

1 沈復(fù)興;格值模型力迫法[J];科學(xué)通報(bào);1984年21期

2 沈復(fù)興;格值模型論中的力迫方法[J];數(shù)學(xué)年刊A輯(中文版);1986年01期

3 趙希順;秦克云;;關(guān)于P—point與■_1-scale的個(gè)數(shù)[J];河南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1990年04期

4 張龍;陳國(guó)龍;萬(wàn)展翔;;模型論力迫法在代數(shù)中的一個(gè)應(yīng)用[J];長(zhǎng)江大學(xué)學(xué)報(bào)(自科版);2013年25期

5 沈恩紹;大、小E.C.結(jié)構(gòu)的可判定性[J];數(shù)學(xué)學(xué)報(bào);1997年03期

6 陳練寒;;關(guān)于Suslin樹(shù)的兩個(gè)結(jié)果[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1992年01期

7 張錦文;用力迫法構(gòu)造的一個(gè)非標(biāo)準(zhǔn)的算術(shù)模型[J];華中工學(xué)院學(xué)報(bào);1979年01期

8 周浩旋;Martin公理及其應(yīng)用(Ⅰ)[J];華中工學(xué)院學(xué)報(bào);1979年03期

相關(guān)碩士學(xué)位論文 前1條

1 劉江;對(duì)力迫公理A和自然數(shù)分拆的注記[D];四川大學(xué);2005年

，

本文編號(hào)：1480663