Study of theories with finitely many countable models.

研究具有有限多个可数模型的理论。

• 批准号: 11640100
• 负责人: TSUBOI Akito
• 金额: $ 2.43万
• 依托单位: University of Tsukuba.
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 2000
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11640100/
• 关键词: model; structure; stability; 可算モデル; ペアノの公理; 一階論理式; 定義可能性

We showed that the standard part of a nonstandard model of Peano Arithmetic is not implicitly defined using a certain kind of formula (which we call a simple a3-formula).We showed also that two simple theories are amalgamated if they satisfy a certain condition.

我们证明了皮亚诺算术的非标准模型的标准部分不是用某种公式（我们称之为简单a3-公式）隐式定义的，我们还证明了如果两个简单理论满足一定的条件，它们就可以合并.

项目成果

Akito TsuBoi and Kentare Wakai: "On interpretability of almost linear orderings,"Notre Dame Journal of Formal Logic. 39・3. 325-331 (1998)

Akito TsuBoi 和 Kentare Wakai：“论几乎线性排序的可解释性”，Notre Dame Journal of Formal Logic 39・3（1998）。

Nobutaka Tsukada: "An ultrapower which does not preserve the truth of a II_2-sentence"Tsukuba Journal of Mathematics. 23・2. 225-228 (1999)

Nobutaka Tsukada：“不保留 II_2 句子真实性的超能力”筑波数学杂志 23・2（1999）。

西村泰一 (Hirokazu Nishimura): "Infinitesimal Calculus of Variations"International Journal of Theoretical Physics. 38・6. 1771-1782 (1999)

Hirokazu Nishimura：“变分的无穷小微积分”国际理论物理学杂志 38・6 1771-1782（1999）。

Akito Tsuboi: "Random Amalgamation of Simple Theories"Math.Log.Quart.. 47. 45-50 (2001)

Akito Tsuboi：“简单理论的随机合并”Math.Log.Quart.. 47. 45-50 (2001)

西村泰一 (Hirokazu Nishimura): "Synthetic Theory of Superconnections"International Journal of Theoretical Physics. 39・2. 297-320 (2000)

西村宏和：“超连接的综合理论”国际理论物理学杂志39・2（2000）。