發(fā)布時間：2018-02-01 02:25

  本文關鍵詞： ω_-超實數(shù) Mathias力迫 支配性實數(shù) 無界實數(shù) 基數(shù)不變量　出處：《數(shù)學雜志》2017年05期 　論文類型：期刊論文

【摘要】：本文研究了加強型Mathias力迫及其在不可數(shù)情形下的推廣.通過力迫法,證明了Mathias力迫添加支配性實數(shù),而加強型Mathias力迫添加的是無界、非支配性的實數(shù).還證明了ω_1上的Mathias型力迫添加的是無界、非支配性的ω_1類實數(shù)且不添加新的實數(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.
【作者單位】： 華南理工大學廣州學院;
【基金】：Supported by National Natural Science Foundation of China(11401567)
【分類號】：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

【相似文獻】

相關期刊論文 前8條

1 沈復興;格值模型力迫法[J];科學通報;1984年21期

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

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

4 張龍;陳國龍;萬展翔;;模型論力迫法在代數(shù)中的一個應用[J];長江大學學報(自科版);2013年25期

5 沈恩紹;大、小E.C.結構的可判定性[J];數(shù)學學報;1997年03期

6 陳練寒;;關于Suslin樹的兩個結果[J];北京師范大學學報(自然科學版);1992年01期

7 張錦文;用力迫法構造的一個非標準的算術模型[J];華中工學院學報;1979年01期

8 周浩旋;Martin公理及其應用(Ⅰ)[J];華中工學院學報;1979年03期

相關碩士學位論文 前1條

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

，

本文編號：1480663