中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Robert M. Solovay
来自维基百科,自由的百科全书
Found in articles
力迫
hierarchy)上,难于理解。1960年代通过梭羅維(英语:
Robert
M
.
Solovay
)(
Solovay
)与斯科特(Scott)等人的努力力迫法被相当程度的重做和简化。 力迫法大致是一种扩张模型的方法。给定一个模型
M
{\displaystyle
M
} 以及模型内一个偏序 ( P , ≤ ) {\displaystyle
不可测集
所有在標準數學中出現的集合的可靠定義;然而要證明一個集合可測,需要下很大的功夫。 在1970年,羅伯特·
M
·梭羅維(英语:
Robert
M
.
Solovay
)(
Robert
M
.
Solovay
)建構出梭羅維模型,他並證明說這模型與不包含不可數選擇的標準集合論相容,而在這模型中,實數集所有的子集都
梭羅維模型
在數學的集合論中,梭羅維模型是一個由羅伯特·
M
·梭羅維(英语:
Robert
M
.
Solovay
)在1970年建構的模型。在這模型中,策梅洛-弗蘭克爾集合論(ZF)所有的公理成立,但不包括選擇公理;而在此模型中所有的集合都是勒貝格可測的。這個模型的建構仰賴於不可達基數的存在。
沃爾克·施特拉森
傅立葉轉換的漸進快速整數乘法的論文;參見頌哈吉-施特拉森演算法。施特拉森還因1977年與羅伯特·
M
·索洛維(英语:
Robert
M
.
Solovay
)合作研究索洛維-施特拉森質數測試(英语:
Solovay
–Strassen primality test)而知名,這是第一個表明檢驗一個數字是否為質數的
馬丁公理
在數學的集合論中,馬丁公理(Martin's axiom)是一個由唐纳德·A·馬丁(英语:Donald A. Martin)和羅伯特·
M
·梭羅維(英语:
Robert
M
.
Solovay
)引進的公理,這公理獨立於慣常的、帶有選擇公理的策梅洛-弗蘭克爾集合論(ZFC)。這公理在連續統假設成立的狀況下成立,但也與否定連續統假設的ZFC公理系統相容。