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先前已经表明, 一种判定单个常微分方程 在非负真实的数上有解析解,甚至 因为它有唯一的接近于零的解。 第1部分 项目是一个非阿基米德刚性理论的发展 半解析集和次解析集 (By这意味着 环上半解析与次解析集理论 nonarchimedean,algebraically closed,complete normed field.) 这一发展将与最近对p-adic的处理并行 Denef和货车den Dries的半解析和次解析集。 首席研究员已经证明了一个分析消除 定理(在非阿基米德,代数闭,完全 这将有助于发展中国家的发展。 理论 所寻求的结果包括:(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