Mathematical Sciences: Research in Model Theory
Mathematical Sciences: Research in Model Theory
批准号:
9000139
负责人:
John Baldwin
金额:
$11.04万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1990
资助国家:
美国
项目状态:
已结题
起止时间:
1990-06-01 至 1994-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Baldwin plans work in pure model theory and connections between model theory and algebra. In particular, he will study the uses of abstract classification theory to explain more concrete model theoretic problems. Model theory as a topic in the foundations of mathematics deals with axiomatic systems. Whether a given set of axioms admit of any realization (called a model for these axioms) or possibly only finitely many different realizations, or infinitely many, are a few of the types of questions treated.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FRG: Collaborative Research in Gauge Theory
-
批准号:1952707
-
项目类别:Standard Grant
-
资助金额:$18.68万
-
财政年份:2020
-
负责人:John Baldwin
-
依托单位:
CAREER: Interactions between Floer Theory, Khovanov Homology, and Low-Dimensional Topology
-
批准号:1454865
-
项目类别:Continuing Grant
-
资助金额:$40.49万
-
财政年份:2015
-
负责人:John Baldwin
-
依托单位:
Invariants of bordered 3-manifolds and contact structures in Floer homology, connections with Khovanov homology, and applications
-
批准号:1406383
-
项目类别:Standard Grant
-
资助金额:$15.98万
-
财政年份:2014
-
负责人:John Baldwin
-
依托单位:
Contact structures, open books, and connections between Heegaard Floer homology and the Khovanov-Rozansky link homology theories
-
批准号:1251064
-
项目类别:Standard Grant
-
资助金额:$11.92万
-
财政年份:2012
-
负责人:John Baldwin
-
依托单位:
Contact structures, open books, and connections between Heegaard Floer homology and the Khovanov-Rozansky link homology theories
-
批准号:1104688
-
项目类别:Standard Grant
-
资助金额:$13.97万
-
财政年份:2011
-
负责人:John Baldwin
-
依托单位:
PostDoctoral Research Fellowship
-
批准号:0802975
-
项目类别:Fellowship Award
-
资助金额:$10.8万
-
财政年份:2008
-
负责人:John Baldwin
-
依托单位:
Isomerizations of Isotopically Labeled Hydrocarbons
-
批准号:0514376
-
项目类别:Continuing Grant
-
资助金额:$44.73万
-
财政年份:2005
-
负责人:John Baldwin
-
依托单位:
Research in Model Theory
-
批准号:0500841
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:John Baldwin
-
依托单位:
Isomerizations of Isotopically Labeled Hydrocarbons
-
批准号:0211120
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2002
-
负责人:John Baldwin
-
依托单位:
Investigations in Model Theory
-
批准号:0100594
-
项目类别:Continuing Grant
-
资助金额:$9.0万
-
财政年份:2001
-
负责人:John Baldwin
-
依托单位:
Isomerizations of Isotopically Labeled Hydrocarbons
-
批准号:9902184
-
项目类别:Standard Grant
-
资助金额:$40.5万
-
财政年份:1999
-
负责人:John Baldwin
-
依托单位:
Research in Model Theory
-
批准号:9803496
-
项目类别:Continuing Grant
-
资助金额:$6.94万
-
财政年份:1998
-
负责人:John Baldwin
-
依托单位:
Isomerizations of Isotopically Labeled Hydrocarbons
-
批准号:9532016
-
项目类别:Continuing Grant
-
资助金额:$39.0万
-
财政年份:1996
-
负责人:John Baldwin
-
依托单位:
Mathematical Sciences: Research in Model Theory
-
批准号:9308768
-
项目类别:Standard Grant
-
资助金额:$2.34万
-
财政年份:1993
-
负责人:John Baldwin
-
依托单位:
College Prepatory Mathematics Project
-
批准号:9253326
-
项目类别:Continuing Grant
-
资助金额:$241.74万
-
财政年份:1993
-
负责人:John Baldwin
-
依托单位:
Mathematical Sciences: Special Year in Model Theory and Universal Algebra
-
批准号:9115761
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:1991
-
负责人:John Baldwin
-
依托单位:
Isomerizations of Isotopically Labeled Hydrocarbons
-
批准号:9100246
-
项目类别:Continuing Grant
-
资助金额:$65.1万
-
财政年份:1991
-
负责人:John Baldwin
-
依托单位:
Isomerizations of Isotopically Labeled Hydrocarbons
-
批准号:8721656
-
项目类别:Continuing Grant
-
资助金额:$34.14万
-
财政年份:1988
-
负责人:John Baldwin
-
依托单位:
Mathematical Sciences: Model Theory and Descriptive Set Theory
-
批准号:8602558
-
项目类别:Continuing Grant
-
资助金额:$14.17万
-
财政年份:1986
-
负责人:John Baldwin
-
依托单位:
Joint U.S. Israel Workshop on Model Theory in Mathematical Logic: Classification Theory; Chicago, IL., December 16-20, 1985.
-
批准号:8500779
-
项目类别:Standard Grant
-
资助金额:$0.71万
-
财政年份:1985
-
负责人:John Baldwin
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Handbook of the Mathematics of the Arts and Sciences的中文翻译
-
批准号:12226504
-
项目类别:数学天元基金项目
-
资助金额:20.0万元
-
批准年份:2022
-
负责人:黄朝凌
-
依托单位:
SCIENCE CHINA: Earth Sciences
-
批准号:41224003
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:魏建晶
-
依托单位:
Journal of Environmental Sciences
-
批准号:21224005
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Information Sciences
-
批准号:61224002
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:宋扉
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51224001
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:安梅
-
依托单位:
Journal of Environmental Sciences
-
批准号:21024806
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Life Sciences (中国科学 生命科学)
-
批准号:81024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:李纪元
-
依托单位:
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
-
批准号:41024801
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:魏建晶
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:安梅
-
依托单位: