Mathematical Sciences: Topics in Model Theory
数学科学:模型论主题
基本信息
- 批准号:9504788
- 负责人:
- 金额:$ 3.7万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1995
- 资助国家:美国
- 起止时间:1995-06-01 至 1997-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9504788 Pillay A substantial part of the project concerns the interaction between logic and differential algebra. On the one hand a new Galois theory for differential fields is developed, using model-theoretic methods (and generalising the Picard-Vessiot theory), and various inverse Galois problems are posed. On the other hand, it is asked whether a differential field which supports a model-theoretic dimension theory must be differentially closed (namely contain solutions to all algebraic differential equations over the field). Other components of the project involve (1) more traditional questions in model theory such as determining the number of models of complete theories, and (2) studying groups definable in O-minimal theories, which amounts to trying to develop a reasonable theory of Lie groups over arbitrary real closed fields. The understanding of collections of symmetries (also called groups) is an important part of mathematics and of its applications. Pillay's project concerns symmetries arising from various situations: differential equations, algebraic equations, and more abstract contexts. He will use methods from logic (specifically model theory) to analyse, identify, and make connections between such groups of symmetries. The expressive power of logic thus applied will gain concrete mathematical information. ***
9504788 Pillay这个项目的很大一部分是关于逻辑和微分代数之间的相互作用。一方面,利用模型理论方法(并推广了Picard-Vessiot理论)建立了新的微分场伽罗瓦理论,并提出了各种反伽罗瓦问题。另一方面,一个支持模型论维度理论的微分场是否必须是微分闭的(即包含该场上所有代数微分方程的解)。该项目的其他组成部分涉及(1)模型理论中更传统的问题,例如确定完全理论的模型数量,以及(2)研究在o -极小理论中可定义的群,这相当于试图在任意实闭域上建立一个合理的李群理论。对对称集合(也称为群)的理解是数学及其应用的重要组成部分。皮莱的项目涉及各种情况下产生的对称性:微分方程、代数方程和更抽象的环境。他将使用逻辑方法(特别是模型理论)来分析、识别并在这些对称组之间建立联系。这样运用逻辑的表达能力将获得具体的数学信息。***
项目成果
期刊论文数量(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 }}
Anand Pillay其他文献
On pp-elimination and stability in a continuous setting
关于连续情形下的 pp 消除与稳定性
- DOI:
10.1016/j.apal.2023.103258 - 发表时间:
2023-05-01 - 期刊:
- 影响因子:0.600
- 作者:
Nicolas Chavarria;Anand Pillay - 通讯作者:
Anand Pillay
A group in a group
- DOI:
10.1007/bf01979940 - 发表时间:
1990-05-01 - 期刊:
- 影响因子:0.600
- 作者:
David Evans;Anand Pillay;Bruno Poizat - 通讯作者:
Bruno Poizat
Automorphism groups of prime models, and invariant measures
素数模型的自同构群和不变测度
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Anand Pillay - 通讯作者:
Anand Pillay
MODEL THEORY, KEISLER MEASURES AND GROUPS
模型理论、Keisler 测度和群
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Anand Pillay - 通讯作者:
Anand Pillay
Anand Pillay的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Anand Pillay', 18)}}的其他基金
Workshop on Practical and Structural Model Theory
实用和结构模型理论研讨会
- 批准号:
2223298 - 财政年份:2022
- 资助金额:
$ 3.7万 - 项目类别:
Standard Grant
Conference on Practical and Structural Model Theory
实用与结构模型理论会议
- 批准号:
2012234 - 财政年份:2020
- 资助金额:
$ 3.7万 - 项目类别:
Standard Grant
FRG: Collaborative Research: Model Theory of Differential and Difference Equations with Applications
FRG:协作研究:微分方程和差分方程的模型理论及其应用
- 批准号:
1760212 - 财政年份:2018
- 资助金额:
$ 3.7万 - 项目类别:
Standard Grant
Mathematical Sciences: Topics in Model Theory
数学科学:模型论主题
- 批准号:
9696268 - 财政年份:1996
- 资助金额:
$ 3.7万 - 项目类别:
Continuing Grant
Mathematical Sciences: Topics in Model Theory
数学科学:模型论主题
- 批准号:
9203399 - 财政年份:1992
- 资助金额:
$ 3.7万 - 项目类别:
Continuing Grant
Mathematical Sciences: Topics in Model Theory
数学科学:模型论主题
- 批准号:
9006628 - 财政年份:1990
- 资助金额:
$ 3.7万 - 项目类别:
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 aiming at medical application of light propagation in biomedical tissues and related topics
针对生物医学组织中光传播的医学应用的数学科学及相关主题
- 批准号:
16H02155 - 财政年份:2016
- 资助金额:
$ 3.7万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
CBMS Regional Conference in the Mathematical Sciences - "Finite Morse Index Solutions and Related Topics" -Winter 2007
CBMS 数学科学区域会议 - “有限莫尔斯指数解决方案和相关主题” - 2007 年冬季
- 批准号:
0628079 - 财政年份:2007
- 资助金额:
$ 3.7万 - 项目类别:
Standard Grant
NSF/CBMS Regional Conference in the Mathematical Sciences -Generalized Linear Mixed Models and Related Topics - June 8-12,1999
NSF/CBMS 数学科学区域会议 - 广义线性混合模型及相关主题 - 1999 年 6 月 8 日至 12 日
- 批准号:
9813374 - 财政年份:1999
- 资助金额:
$ 3.7万 - 项目类别:
Standard Grant
Mathematical Sciences: Symbolic Dynamics and Related Topics
数学科学:符号动力学及相关主题
- 批准号:
9706852 - 财政年份:1997
- 资助金额:
$ 3.7万 - 项目类别:
Continuing Grant
Mathematical Sciences: Topics in Fluid Dynamics
数学科学:流体动力学主题
- 批准号:
9622735 - 财政年份:1996
- 资助金额:
$ 3.7万 - 项目类别:
Standard Grant
Mathematical Sciences: Topics in Nonparametric Analysis and Model Building
数学科学:非参数分析和模型构建主题
- 批准号:
9625777 - 财政年份:1996
- 资助金额:
$ 3.7万 - 项目类别:
Continuing Grant
Mathematical Sciences: Topics in Model Theory
数学科学:模型论主题
- 批准号:
9696268 - 财政年份:1996
- 资助金额:
$ 3.7万 - 项目类别:
Continuing Grant
Mathematical Sciences: Mathematical Topics in Combustion
数学科学:燃烧中的数学主题
- 批准号:
9600103 - 财政年份:1996
- 资助金额:
$ 3.7万 - 项目类别:
Continuing Grant
Mathematical Sciences: Diffusion Processes and Related Topics
数学科学:扩散过程及相关主题
- 批准号:
9625782 - 财政年份:1996
- 资助金额:
$ 3.7万 - 项目类别:
Continuing grant
Mathematical Sciences: Topics in Commutative Algebra
数学科学:交换代数主题
- 批准号:
9622224 - 财政年份:1996
- 资助金额:
$ 3.7万 - 项目类别:
Standard Grant