Mathematical Sciences: Model Theory and Algebra
数学科学:模型理论和代数
基本信息
- 批准号:8802410
- 负责人:
- 金额:$ 11.11万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1988
- 资助国家:美国
- 起止时间:1988-06-15 至 1991-11-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project continues the development of a theory for treating decidability questions about analytic solutions of systems of differential equations. For example, the principal investigator and J. Denef have previously shown that there is no algorithm for deciding if a single ordinary differential equation has an analytic solution on the non-negative real numbers, even given that it has a unique solution near zero. Part 1 of the project is the development of a theory of nonarchimedean rigid semi-analytic and sub-analytic sets. (By this is meant the theory of semi-analytic and sub-analytic sets over a nonarchimedean, algebraically closed, complete normed field.) This development will parallel the recent treatment of p-adic semi-analytic and sub-analytic sets of Denef and van den Dries. The principal investigator has proved an analytic elimination theorem (over nonarchimedean, algebraically closed, complete normed fields) which will facilitate the development of the theory. Results sought include (a) that the complement of a rigid sub-analytic set is subanalytic; (b) that every subanalytic set is a finite disjoint union of subanalytic manifolds; (c) nonarchimedean Lojasiewicz inequalities for rigid subanalytic sets and functions; and some further results. In part 2 the principal investigator seeks to show that algebraic subsets of the p-adic integers Zp, defined by polynomials involving few monomials, if they are finite contain only few points in Zp. In part 3, he will investigate a decision problem about the existence of power series solutions of maximally overdetermined systems of partial differential equations.
本项目继续发展一种理论,用于处理微分方程系统解析解的可决性问题。例如,首席研究员和J. Denef先前已经证明,没有算法可以决定单个常微分方程在非负实数上是否有解析解,即使它在零附近有唯一解。项目的第一部分是非阿基米德刚性半解析集和子解析集理论的发展。(这里指的是非阿基米德、代数封闭、完全赋范域上的半解析集和亚解析集的理论。)这一发展将平行于最近对Denef和van den Dries的p进半解析集和亚解析集的处理。首席研究员已经证明了一个解析消去定理(在非阿基米德,代数封闭,完全赋范域上),这将促进理论的发展。所寻求的结果包括(a)刚性子解析集的补是子解析的;(b)每个子解析集都是子解析流形的有限不相交并;(c)刚性亚解析集和函数的非阿基米德Lojasiewicz不等式;还有一些进一步的结果。在第二部分中,主要研究者试图证明p进整数Zp的代数子集,由涉及少量单项式的多项式定义,如果它们是有限的,则在Zp中只包含几个点。在第三部分中,他将研究一个关于最大超定偏微分方程组幂级数解存在性的判定问题。
项目成果
期刊论文数量(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 }}
Leonard Lipshitz其他文献
Leonard Lipshitz的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Leonard Lipshitz', 18)}}的其他基金
Model Theory and Cell Decomposition for Valued Fields with Analytic Structure
具有解析结构的值域的模型理论和元胞分解
- 批准号:
0401175 - 财政年份:2004
- 资助金额:
$ 11.11万 - 项目类别:
Standard Grant
A Proposal for Vertical Integration of Research and Education in Mathematics and Statistics at Purdue University
普渡大学数学与统计学研究与教育纵向一体化的提案
- 批准号:
9983601 - 财政年份:2000
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
The Model Theory of Valued Fields with Analytic Structure
解析结构的值域模型论
- 批准号:
0070724 - 财政年份:2000
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
Mathematical Sciences: Model Theory and Rigid Analytic Geometry
数学科学:模型论和刚性解析几何
- 批准号:
9704981 - 财政年份:1997
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
Mathematical Sciences: Rigid Analytic Geometry and Logic
数学科学:刚性解析几何和逻辑
- 批准号:
9401451 - 财政年份:1994
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
Mathematical Sciences: Model Theory, Geometry and Arithmetic
数学科学:模型论、几何与算术
- 批准号:
9102858 - 财政年份:1991
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
Mathematical Sciences: Algebraic Power Series, Differentially Algebraic Power Series and Logic
数学科学:代数幂级数、微分代数幂级数和逻辑
- 批准号:
8502780 - 财政年份:1985
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
Model Theory of Local Rings; Diophantine Problems For Addition and Divisibility
局环模型理论;
- 批准号:
8102689 - 财政年份:1981
- 资助金额:
$ 11.11万 - 项目类别:
Standard Grant
Existential Problems For Algebraic Number Rings
代数数环的存在性问题
- 批准号:
7606357 - 财政年份:1976
- 资助金额:
$ 11.11万 - 项目类别:
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 万元
- 项目类别:专项基金项目
相似海外基金
Information Delivery System using Mobile Wirelsss WAN based on Mathematical Model in Sciences
基于科学数学模型的使用移动无线广域网的信息传输系统
- 批准号:
22K11995 - 财政年份:2022
- 资助金额:
$ 11.11万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
CBMS Regional Conference in the Mathematical Sciences - Model Uncertainty and Multiplicity
CBMS 数学科学区域会议 - 模型不确定性和多重性
- 批准号:
1137825 - 财政年份:2012
- 资助金额:
$ 11.11万 - 项目类别:
Standard Grant
Mathematical Sciences: Real Analytic Geometry and Model Theory
数学科学:实解析几何和模型理论
- 批准号:
9704594 - 财政年份:1997
- 资助金额:
$ 11.11万 - 项目类别:
Standard Grant
Mathematical Sciences: Model Theory of Modules
数学科学:模的模型论
- 批准号:
9896177 - 财政年份:1997
- 资助金额:
$ 11.11万 - 项目类别:
Continuing grant
Mathematical Sciences: Real Analytic Geometry and Model Theory
数学科学:实解析几何和模型理论
- 批准号:
9896225 - 财政年份:1997
- 资助金额:
$ 11.11万 - 项目类别:
Standard Grant
Mathematical Sciences: Model Theory and Rigid Analytic Geometry
数学科学:模型论和刚性解析几何
- 批准号:
9704981 - 财政年份:1997
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
Mathematical Sciences: Topics in Nonparametric Analysis and Model Building
数学科学:非参数分析和模型构建主题
- 批准号:
9625777 - 财政年份:1996
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
Mathematical Sciences: Superstability in Model Theory
数学科学:模型理论中的超稳定性
- 批准号:
9626112 - 财政年份:1996
- 资助金额:
$ 11.11万 - 项目类别:
Standard Grant
Mathematical Sciences: Model Theory and Analysis
数学科学:模型理论与分析
- 批准号:
9626628 - 财政年份:1996
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant
Mathematical Sciences: Model Theory of Modules
数学科学:模的模型论
- 批准号:
9626708 - 财政年份:1996
- 资助金额:
$ 11.11万 - 项目类别:
Continuing Grant