Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
基本信息
- 批准号:9505153
- 负责人:
- 金额:$ 24万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1995
- 资助国家:美国
- 起止时间:1995-07-01 至 1999-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9505153 Martin Martin will work in set theory and descriptive set theory, especially determinacy hypotheses, and his first goal is to complete his long-awaited research monograph on proofs of determinacy from large cardinal axioms. Steel will also work generally in set theory and descriptive set theory, and more specifically on the construction and study of canonical, inner models of ZFC that satisfy specified large cardinal or determinacy assumptions. Moschovakis will work on fixpoint recursion and its applications to the theory of computation, including the mathematical modeling of recursive algorithms, the logic of recursive definitions, and the construction of canonical solutions for recursive equations in non-deterministic and concurrent settings. The Principal Investigators of this Grant have been among the key contributors to the reshaping of the classical, set-theoretic foundations of mathematics during the last twenty-five years, with the introduction and study of new hypotheses about sets that have made it possible to solve many long-standing, open problems about the real numbers. Martin and Steel will continue working on this fundamental program, seeking to extend it and to delineate its limitations. Moschovakis changed interests about ten years ago, and his current research program aims to provide a rigorous, mathematical foundation for computer science. One of the main, ultimate aims of his work is to construct a "logic of programs" that will be useful in the development and verification of computing systems. ***
小行星9505153 马丁将在集合论和描述集合论,特别是确定性假设,他的首要目标是完成他期待已久的 从大基数公理证明确定性的研究专著。 斯蒂尔也将在集合论和描述性集合论方面工作, 更具体地说,在建设和研究规范,内部 满足指定大基数或确定性的ZFC模型 假设。 Moschovakis将致力于定点递归及其 计算理论的应用,包括数学 递归算法的建模,递归定义的逻辑,以及 中递归方程标准解的构造 非确定性和并发设置。 该补助金的主要研究人员一直是重塑古典集合论基础的关键贡献者之一, 数学在过去的二十五年里,与介绍和 研究关于集合的新假设,这些假设使得解决许多问题成为可能。 关于真实的数字的长期悬而未决的问题。 马丁和斯蒂尔 继续致力于这一基本计划,寻求扩大它, 描述它的局限性。 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
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
Distribution of Patterns and Statistics in Random Sequences
随机序列中的模式和统计分布
- 批准号:
1107084 - 财政年份:2011
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
Distributions of patterns and statistics in Markovian sequences
马尔可夫序列中的模式和统计分布
- 批准号:
0805577 - 财政年份:2008
- 资助金额:
$ 24万 - 项目类别:
Standard Grant
Urban Systemic Program in Science, Mathematics, and Technology Education (USP): SciMaX
科学、数学和技术教育城市系统计划 (USP):SciMaX
- 批准号:
0114949 - 财政年份:2001
- 资助金额:
$ 24万 - 项目类别:
Cooperative Agreement
CPMSA: "Comprehensive Partnerships for Minority Student Achievement"
CPMSA:“少数民族学生成就的全面伙伴关系”
- 批准号:
9550622 - 财政年份:1995
- 资助金额:
$ 24万 - 项目类别:
Cooperative Agreement
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
9206946 - 财政年份:1992
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
8902555 - 财政年份:1989
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Mini-Computer Applications to Undergraduate Meteorology Instruction
微型计算机在本科气象学教学中的应用
- 批准号:
7813134 - 财政年份:1978
- 资助金额:
$ 24万 - 项目类别:
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
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Mathematical Sciences: Some Recursion Theoretic Problems
数学科学:一些递归理论问题
- 批准号:
9214048 - 财政年份:1993
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
9206946 - 财政年份:1992
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
- 批准号:
9100114 - 财政年份:1991
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
- 批准号:
8900349 - 财政年份:1989
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学:递归理论和集合论
- 批准号:
8902555 - 财政年份:1989
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant
Mathematical Sciences: Some Recursion Theoretic Problems
数学科学:一些递归理论问题
- 批准号:
8910312 - 财政年份:1989
- 资助金额:
$ 24万 - 项目类别:
Continuing Grant