Définissabilité en théorie des modèles des corps et logique catégorique

军团和逻辑类别模型理论的定义

• 批准号: 46346-2011
• 负责人: Bélair, Luc
• 金额: $ 0.73万
• 依托单位: Université du Québec à Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2011
• 资助国家: 加拿大
• 起止时间: 2011-01-01 至 2012-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=475090
• 关键词: finissabilit; en; th; orie; des

Nos recherches participent à l'interaction entre la logique mathématique et l'algèbre. Ce courant de pensée s'incarne en particulier dans la théorie des modèles et la logique catégorique. Les structures mathématiques au coeur de nos travaux sont les corps valués, des objets clés de la théorie des nombres. La théorie des modèles a trouvé ces dernières années des applications en géométrie arithmétique, point de rencontre de la géométrie et de la théorie des nombres. Nos travaux s'insèrent dans cette voie de recherche. Ils visent à tirer le maximum des méthodes de la logique catégorique en théorie des modèles. Ils permettront l'avancement des connaissances sur les corps valués et la géométrie arithmétique par l'usage de nouvelles méthodes provenant de la théorie des modèles.

没有研究参与者的相互作用，如逻辑、数学和数学<s:1> <s:1> <s:1>关系中心。关于薪金薪金的规定特别适用于薪金薪金的规定，如薪金薪金的规定和薪金薪金的规定。这些结构是由组织组成的，是由组织组成的，是由组织组成的，是由组织组成的，是由组织组成的，是由组织组成的。交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换交换。“不，我不知道，我不知道。”目前为止，所有的数据都显示，所有的数据都是基于数据的，所有的数据都是基于数据的，所有的数据都是基于数据的。我的意思是，我的进步是，我的进步是，我的进步是，我的进步是，我的进步是，我的进步是，我的进步是，我的进步是，我的进步是，我的进步是，我的进步。