Diagonal Genericity
Diagonal Genericity
批准号:
8716037
负责人:
Maurice Stanley
金额:
$3.65万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1988
资助国家:
美国
项目状态:
已结题
起止时间:
1988-03-01 至 1990-08-31
关键词:
中文摘要
M.C.Stanley将进一步开发他的“对角泛化”技术的应用,该技术已经被证明在研究递归可枚举度时是有用的。
英文摘要
M. C. Stanley will develop further applications of his technique of "diagonal genericity" already shown to be useful in studying recursively enumerable degrees.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RUI: Incompleteness of the Third Kind in Set Theory
-
批准号:0501114
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Maurice Stanley
-
依托单位:
RUI: Characterization Problems, Outer Models, and Forcing
-
批准号:0100612
-
项目类别:Standard Grant
-
资助金额:$10.1万
-
财政年份:2001
-
负责人:Maurice Stanley
-
依托单位:
RUI: Outer Models and Forcing
-
批准号:9803643
-
项目类别:Standard Grant
-
资助金额:$8.57万
-
财政年份:1998
-
负责人:Maurice Stanley
-
依托单位:
Mathemtical Sciences: RUI: Problems in Forcing
-
批准号:9505157
-
项目类别:Standard Grant
-
资助金额:$7.68万
-
财政年份:1995
-
负责人:Maurice Stanley
-
依托单位:
Mathematical Sciences: Forcing and O#
-
批准号:9122320
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1992
-
负责人:Maurice Stanley
-
依托单位:
Mathematical Sciences: Problems in Forcing
-
批准号:8922393
-
项目类别:Standard Grant
-
资助金额:$4.07万
-
财政年份:1990
-
负责人:Maurice Stanley
-
依托单位:
Mathematical Sciences: Exotic Pi-1-2 Singletons
-
批准号:8506054
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1985
-
负责人:Maurice Stanley
-
依托单位:
海外基金