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
中文摘要
鲍德温计划工作在纯模型理论和连接 模型论和代数之间的联系 特别是,他将研究 运用抽象分类理论解释更多 具体的模型理论问题。 数学基础中的模型论 处理公理系统。 一组给定的公理 承认任何实现(称为这些公理的模型)或 可能只有100多种不同的实现,或者 无限多,是一些类型的问题处理。
英文摘要
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
-
负责人:安梅
-
依托单位: