Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
基本信息
- 批准号:8902555
- 负责人:
- 金额:$ 38.94万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1989
- 资助国家:美国
- 起止时间:1989-07-01 至 1993-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Martin and Steel will work in set theory, and more specifically on inner model theory and on strong forms of determinacy. Moschovakis will work in the theory of algorithms and its applications to the foundations of mathematical computer science. The former is basic to our understanding of the axioms of set theory underlying all mathematics. The latter has obvious relevance to less philosophical concerns.
Martin和Steel将研究集合论,更具体地说,研究内模型理论和强确定性形式。Moschovakis将致力于算法理论及其在数学计算机科学基础中的应用。前者是我们理解所有数学基础上的集合论公理的基础。后者显然与不那么哲学的问题相关。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Donald Martin其他文献
The enigma of the SARS-CoV-2 microcirculation dysfunction: evidence for modified endothelial junctions
SARS-CoV-2 微循环功能障碍之谜:内皮连接改变的证据
- DOI:
10.1101/2023.04.24.538100 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Laurence Bouillet;Meryem Benmarce;Chloe Guerin;Laura Bouvet;Olivia Garnier;Donald Martin;Isabelle Vilgrain - 通讯作者:
Isabelle Vilgrain
Photocoagulation treatment of proliferative diabetic retinopathy: the second report of diabetic retinopathy study findings.
增殖性糖尿病视网膜病变的光凝治疗:糖尿病视网膜病变研究结果的第二份报告。
- DOI:
10.1016/s0161-6420(78)35693-1 - 发表时间:
1978 - 期刊:
- 影响因子:13.7
- 作者:
A. Patz;S. Fine;D. Finkelstein;T. Prout;L. Aiello;R. Bradley;J. C. Briones;F. Myers;G. Bresnick;G. D. Venecia;T. Stevens;I. Wallow;S. Chandra;E. Norton;G. Blankenship;J. E. Harris;W. Knobloch;F. Goetz;R. Ramsay;J. Mcmeel;Donald Martin;M. Goldberg;F. Huamonte;G. Peyman;B. Straatsma;S. Kopelow;W. Heuven;A. Kassoff;S. Feman;R. Watzke;J. H. Mensher;W. Tasman;W. Annesley;B. Leonard;C. Canny;Leonard Joffe;T. R. Pheasant;F. Riekhof;M. Dahl;W. Bohart;D. Clarke;J. Berrocal;A. Ramos;G. Velázquez;R. Margherio;Delbert Nachazel;E. McLean;S. Guzak;G. Knatterud;C. Klimt;A. Hillis;D. Makuc;M. Davis;A. MacCormick;Y. Magli;Paul Segal;A. Lilienfeld;E. J. Ballintine;J. Cornfield;E. Friedman;Max Miller;M. Sears;E. P. Wiesner;F. Ederer;F. Ferris;B. Becker;Gl Johnston;C. Meinert;J. Bearman;S. Chandra;L. Rand - 通讯作者:
L. Rand
Rheologic reflection in hypertriglyceridemia-induced pancreatitis.
高甘油三酯血症诱发的胰腺炎的流变学反射。
- DOI:
10.1097/smj.0b013e3181b4bdde - 发表时间:
2009 - 期刊:
- 影响因子:1.1
- 作者:
Donald Martin;E. McCann;P. Glynn - 通讯作者:
P. Glynn
A study of Functional ion Transport Using Tethered Membranes
- DOI:
10.1016/j.bpj.2010.12.2050 - 发表时间:
2011-02-02 - 期刊:
- 影响因子:
- 作者:
Bruce A. Cornell;Andrew Battle;Louise Brown;Sonia Carnie;Sophia C. Goodchild;Hedayetul Islam;Donald Martin;Boris Martinac;Russell Richards;Stella Valenzuela - 通讯作者:
Stella Valenzuela
Invitation for Nominations for 1982 American Institute of Nutrition Awards
- DOI:
10.1093/jn/111.8.1507 - 发表时间:
1981-08-01 - 期刊:
- 影响因子:
- 作者:
Joan Martin;Robert Labbe;Donald Martin;Patti Shores - 通讯作者:
Patti Shores
Donald Martin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Donald Martin', 18)}}的其他基金
Statistical Analysis of Categorical Time Series through Sparse Markov Models
通过稀疏马尔可夫模型对分类时间序列进行统计分析
- 批准号:
1811933 - 财政年份:2018
- 资助金额:
$ 38.94万 - 项目类别:
Standard Grant
Distribution of Patterns and Statistics in Random Sequences
随机序列中的模式和统计分布
- 批准号:
1107084 - 财政年份:2011
- 资助金额:
$ 38.94万 - 项目类别:
Standard Grant
Distributions of patterns and statistics in Markovian sequences
马尔可夫序列中的模式和统计分布
- 批准号:
0805577 - 财政年份:2008
- 资助金额:
$ 38.94万 - 项目类别:
Standard Grant
Urban Systemic Program in Science, Mathematics, and Technology Education (USP): SciMaX
科学、数学和技术教育城市系统计划 (USP):SciMaX
- 批准号:
0114949 - 财政年份:2001
- 资助金额:
$ 38.94万 - 项目类别:
Cooperative Agreement
CPMSA: "Comprehensive Partnerships for Minority Student Achievement"
CPMSA:“少数民族学生成就的全面伙伴关系”
- 批准号:
9550622 - 财政年份:1995
- 资助金额:
$ 38.94万 - 项目类别:
Cooperative Agreement
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
9505153 - 财政年份:1995
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
9206946 - 财政年份:1992
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mini-Computer Applications to Undergraduate Meteorology Instruction
微型计算机在本科气象学教学中的应用
- 批准号:
7813134 - 财政年份:1978
- 资助金额:
$ 38.94万 - 项目类别:
Standard Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号:12226504
- 批准年份:2022
- 资助金额:20.0 万元
- 项目类别:数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号:41224003
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21224005
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Information Sciences
- 批准号:61224002
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51224001
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21024806
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号:81024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
- 批准号:41024801
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
相似海外基金
Mathematical Sciences: Some Recursion Theoretic Problems
数学科学:一些递归理论问题
- 批准号:
9622290 - 财政年份:1996
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
9505153 - 财政年份:1995
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mathematical Sciences: Some Recursion Theoretic Problems
数学科学:一些递归理论问题
- 批准号:
9214048 - 财政年份:1993
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
9206946 - 财政年份:1992
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
- 批准号:
9100114 - 财政年份:1991
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
- 批准号:
8900349 - 财政年份:1989
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
- 批准号:
8901529 - 财政年份:1989
- 资助金额:
$ 38.94万 - 项目类别:
Standard Grant
Mathematical Sciences: Some Recursion Theoretic Problems
数学科学:一些递归理论问题
- 批准号:
8910312 - 财政年份:1989
- 资助金额:
$ 38.94万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
- 批准号:
8800030 - 财政年份:1988
- 资助金额:
$ 38.94万 - 项目类别:
Standard Grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
- 批准号:
8701891 - 财政年份:1987
- 资助金额:
$ 38.94万 - 项目类别:
Standard Grant