Analytic and smooth functions definable in o-minimal structures
可在最小结构中定义的解析函数和平滑函数
基本信息
- 批准号:EP/F043236/1
- 负责人:
- 金额:$ 27.38万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Fellowship
- 财政年份:2008
- 资助国家:英国
- 起止时间:2008 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project is about o-minimal structures, which use ideas from modeltheory (a part of logic) to isolate tame classes of subsets ofEuclidean spaces and well behaved functions between these sets. Thefocus of the project is on a better understanding of the behaviour ofthese functions, and how they are built up from more basic functions.Initially the work will involve using techniques from logic to provethat, in many cases, the structures in question are simple, from alogical point of view. This will then be combined with analyticgeometric ideas from resolution of singularities to obtain a simpleanalytic description of the functions in these structures. Thenfurther study will be made using powerful tools from analytic geometrywhich have yet to be used in this model theoretic setting. An important ongoing aspect of the project is to find examples offunctions which arise naturally in analysis or number theory, to whichthe theory can be applied. In addition, the theory will be applied tological problems around deciding, algorithmically, if formalstatements are true in certain structures.
这个项目是关于O-最小结构的,它使用模型论(逻辑的一部分)的思想来隔离欧几里得空间子集的驯服类和这些集合之间的良好行为函数。该项目的重点是更好地理解这些功能的行为,以及它们是如何从更基本的功能中建立起来的。最初的工作将涉及使用逻辑技术来证明,在许多情况下,从逻辑的角度来看,所讨论的结构是简单的。这将与解析几何思想结合起来,从奇点的解决方案中获得一个简单的解析描述这些结构中的功能。进一步的研究将使用强大的工具,从解析几何尚未被用于在这个模型的理论设置。该项目正在进行的一个重要方面是寻找在分析或数论中自然产生的函数的例子,理论可以应用于这些例子。此外,该理论将被应用于围绕决定的问题,算法,如果formalstatements是真的,在某些结构。
项目成果
期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Invariance results for definable extensions of groups
群可定义扩张的不变性结果
- DOI:10.1007/s00153-010-0196-5
- 发表时间:2010
- 期刊:
- 影响因子:0.3
- 作者:Edmundo M
- 通讯作者:Edmundo M
Generating the Pfaffian closure with total Pfaffian functions
使用总 Pfaffian 函数生成 Pfaffian 闭包
- DOI:10.4115/jla.2012.4.5
- 发表时间:2012
- 期刊:
- 影响因子:0.2
- 作者:Jones G
- 通讯作者:Jones G
Mildness and the Density of Rational Points on Certain Transcendental Curves
某些超越曲线上的温和性和有理点的密度
- DOI:10.1215/00294527-2010-037
- 发表时间:2011
- 期刊:
- 影响因子:0.7
- 作者:Jones G
- 通讯作者:Jones G
Rational Values of Weierstrass Zeta Functions
Weierstrass Zeta 函数的有理值
- DOI:10.1017/s0013091515000309
- 发表时间:2015
- 期刊:
- 影响因子:0.7
- 作者:Jones G
- 通讯作者:Jones G
On the decidability of the real field with a generic power function
关于具有通用幂函数的实域的可判定性
- DOI:10.2178/jsl/1318338857
- 发表时间:2014
- 期刊:
- 影响因子:0
- 作者:Jones G
- 通讯作者:Jones G
{{
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 }}
Gareth Jones其他文献
The use of solar farms by bats in mosaic landscapes: implications for conservation
蝙蝠在马赛克景观中使用太阳能发电场:对保护的影响
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:4
- 作者:
Kriszta Lilla Szabadi;Anikó Kurali;Nor Amira Abdul Rahman;Jérémy S. P. Froidevaux;Elizabeth Tinsley;Gareth Jones;Tamás Görföl;P. Estók;Sándor Zsebők - 通讯作者:
Sándor Zsebők
The AIBL study group AIBL Biomarker Stream
AIBL 研究小组 AIBL 生物标记流
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
S. Ayton;S. Burnham;A. Bush;Lesley Cheng;J. Doecke;P. Desmond;V. Doré;Denise El;J. Fripp;Shaun Frost;Gareth Jones;N. Killeen;C. Rowe - 通讯作者:
C. Rowe
First Results from the Stopped RISING Campaign at GSI: The Mapping of Isomeric Decays in Highly Exotic Nuclei
GSI 停止的 RISING 活动的初步结果:高度奇异核中同分异构衰变的绘图
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
P. Regan;A. Garnsworthy;S. Steer;S. Pietri;Z. Podolyák;D. Rudolph;M. Gorska;L. Caceres;E. Werner;J. Gerl;H. Wollersheim;F. Becker;P. Bednarczyk;P. Doornenbal;H. Geissel;H. Grawe;J. Grebosz;R. Hoischen;A. Kelić;I. Kojouharov;N. Kurz;F. Montes;W. Prokopowicz;T. Saito;H. Schaffner;S. Tashenov;A. Heinz;M. Pfützner;T. Kurtukian;G. Benzoni;M. Hellström;A. Jungclaus;L. Andersson;L. Atanasova;D. Balabanski;M. Bentley;B. Blank;A. Blazhev;C. Brandau;J. Brown;A. Bruce;F. Camera;W. Catford;I. Cullen;Z. Dombrádi;E. Estevez;C. Fahlander;W. Gelletly;G. Ilie;E. Johansson;J. Jolie;Gareth Jones;M. Kmiecik;F. Kondev;S. Lalkovski;Zhong Liu;A. Maj;S. Myalski;S. Schwertel;T. Shizuma;A. Simons;P. Walker;O. Wieland - 通讯作者:
O. Wieland
Frozen Shoulder? Remote Medical Management of a Field Guide in Antarctica
肩周炎?
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Gareth Jones;Mark I. Johnson - 通讯作者:
Mark I. Johnson
Influences of ecology and biogeography on shaping the distributions of cryptic species: three bat tales in Iberia
生态学和生物地理学对神秘物种分布的影响:伊比利亚的三个蝙蝠故事
- DOI:
10.1111/bij.12247 - 发表时间:
2014 - 期刊:
- 影响因子:1.9
- 作者:
Helena Santos;Javier Juste;Carlos F. Ibáñez;J. Palmeirim;Raquel Godinho;Francisco Amorim;P. Alves;Hugo Costa;O. D. Paz;G. Pérez;Susana Martinez;Gareth Jones;Hugo Rebelo;Hugo Rebelo - 通讯作者:
Hugo Rebelo
Gareth Jones的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Gareth Jones', 18)}}的其他基金
22-ICRAD Call 2 - Improving the diagnosis of tuberculosis in domestic ruminants through the use of new antigens and test platforms
22-ICRAD 呼吁 2 - 通过使用新抗原和测试平台改善家养反刍动物结核病的诊断
- 批准号:
BB/Y000927/1 - 财政年份:2023
- 资助金额:
$ 27.38万 - 项目类别:
Research Grant
Deformed Shape Optimisation for Elastic Bodies
弹性体的变形形状优化
- 批准号:
EP/P021891/1 - 财政年份:2017
- 资助金额:
$ 27.38万 - 项目类别:
Research Grant
Model theory, functional transcendence and diophantine geometry
模型论、功能超越与丢番图几何
- 批准号:
EP/N007956/1 - 财政年份:2016
- 资助金额:
$ 27.38万 - 项目类别:
Research Grant
Slum Tourism in the Americas: Commodifying Urban Poverty and Violence
美洲的贫民窟旅游:将城市贫困和暴力商品化
- 批准号:
ES/M001970/1 - 财政年份:2014
- 资助金额:
$ 27.38万 - 项目类别:
Research Grant
Experimental approaches to determine the impacts of light pollution: field studies on bats and insects
确定光污染影响的实验方法:对蝙蝠和昆虫的实地研究
- 批准号:
NE/I027460/1 - 财政年份:2012
- 资助金额:
$ 27.38万 - 项目类别:
Research Grant
Molecular evolution and sensory performance in bats
蝙蝠的分子进化和感官表现
- 批准号:
BB/G530392/1 - 财政年份:2009
- 资助金额:
$ 27.38万 - 项目类别:
Research Grant
相似国自然基金
LIPUS促进微环境巨噬细胞释放CCL2诱导尿道周围平滑肌祖细胞定植与分化的机制研究
- 批准号:82370780
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
硫化氢通过核转录因子-kB信号途径调节高血压大鼠血管平滑肌细胞增殖的研究
- 批准号:81070212
- 批准年份:2010
- 资助金额:33.0 万元
- 项目类别:面上项目
骨髓基质干细胞体外构建耳廓形态软骨
- 批准号:30973131
- 批准年份:2009
- 资助金额:35.0 万元
- 项目类别:面上项目
肿瘤抑制基因PTEN对人气道平滑肌增殖、凋亡和迁移的影响
- 批准号:30770936
- 批准年份:2007
- 资助金额:30.0 万元
- 项目类别:面上项目
相似海外基金
Isoform- and Sex-Specific Functions of CGRP in Gastrointestinal Motility
CGRP 在胃肠动力中的亚型和性别特异性功能
- 批准号:
10635765 - 财政年份:2023
- 资助金额:
$ 27.38万 - 项目类别:
Neurovascular functions of a small RNA Snord118-mediated ribosome biogenesis
小RNA Snord118 介导的核糖体生物发生的神经血管功能
- 批准号:
10355240 - 财政年份:2022
- 资助金额:
$ 27.38万 - 项目类别:
Essential functions of Fibulin proteins in outflow tract morphogenesis.
Fibulin 蛋白在流出道形态发生中的基本功能。
- 批准号:
10700864 - 财政年份:2022
- 资助金额:
$ 27.38万 - 项目类别:
Neurovascular unit dysfunction in Down syndrome revealed by TBI
TBI揭示唐氏综合症的神经血管单元功能障碍
- 批准号:
10518832 - 财政年份:2022
- 资助金额:
$ 27.38万 - 项目类别:
E3 ubiquitin ligase RNF145 in airway smooth muscle functions and in asthma
E3 泛素连接酶 RNF145 在气道平滑肌功能和哮喘中的作用
- 批准号:
10522211 - 财政年份:2022
- 资助金额:
$ 27.38万 - 项目类别:
Hair Follicle Dermal Stem Cell Functions and Potential
毛囊真皮干细胞的功能和潜力
- 批准号:
10634552 - 财政年份:2021
- 资助金额:
$ 27.38万 - 项目类别:
Genetic Dissection of Nucleus Ambiguus Neurons Controlling Cardiorespiratory Functions
控制心肺功能的模糊核神经元的遗传解剖
- 批准号:
10441234 - 财政年份:2021
- 资助金额:
$ 27.38万 - 项目类别:
Rab27a functions in the vascular microenvironment
Rab27a 在血管微环境中发挥作用
- 批准号:
10597700 - 财政年份:2021
- 资助金额:
$ 27.38万 - 项目类别:
Rab27a functions in the vascular microenvironment
Rab27a 在血管微环境中发挥作用
- 批准号:
10490964 - 财政年份:2021
- 资助金额:
$ 27.38万 - 项目类别:
Hair Follicle Dermal Stem Cell Functions and Potential
毛囊真皮干细胞的功能和潜力
- 批准号:
10277806 - 财政年份:2021
- 资助金额:
$ 27.38万 - 项目类别: