モデル論における飽和構造の研究
モデル論における飽和構造の研究
批准号:
06640289
负责人:
坪井 明人
金额:
$1.34万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for General Scientific Research (C)
财政年份:
1994
资助国家:
日本
项目状态:
已结题
起止时间:
1994 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
本研究の目的は飽和構造の応用にあった.飽和構造では仮想的(理想的な条件で存在するよう)な元が現実に存在すると思えるので議論が単純になる.これが大きな利点である.多少意味あいが異なるが,体が代数閉体の中に埋め込まれていると考えると議論がしやすくなる事に似ている.さて本年度得られた飽和構造に関する結果のうち,最も重要と思われるのは次の結果である.結果:Tは有限個の強極小集合によって生成される構造の理論とする.もしTがDMPを持てば,Tの言語を拡大して,1つの強極小集合で生成されるようにできる.さらにこの拡大は強極小集合たちの間の全単射を言語に付加することによりなされる.この定理でTを二つの代数閉体を全く無関係に並べた構造の理論としよう.この場合に定理を適用して得られる結論は,HrushovskiのFusion(異なる票数の代数閉体を一つの強極小集合の上に実現すること)を含んでいる.一般にN_1-カテゴリカルな理論ではランクが定義可能になるが,DMPはDegreeまでも定義可能になることを要求する条件である.DMPは多くの構造で成立するが,人工的な構造の中には成立しないものもある.DMPの消去は今後の課題である.
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
T.Sasaki: "A study of approximate polynomials,I-Repressentation and Arithmetic-" Japan J.Indust.Appl.Math.12. 1-25 (1995)
T.Sasaki:“近似多项式的研究,I-表示和算术-”日本 J.Indust.Appl.Math.12。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Katsuro Sakai: "Free actions of zero-dimensional compact groups on Menger manifolds" Proc.Amer.Math.Soc.122. 647-648 (1994)
Katsuro Sakai:“门格尔流形上零维紧群的自由作用”Proc.Amer.Math.Soc.122。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Akito Tsuboi(with Hirotaka Kilyo): "On reduction properties" The Journal of Symbolic Logic. 59. 900-911 (1994)
Akito Tsuboi(与 Hirotaka Kilyo):“论约简性质”符号逻辑杂志。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Nariyuki Minami: "Level clustering in a One-dimensional Finite System" Progress of Theoretical Physics. 116. 359-368 (1994)
Nariyuki Minami:“一维有限系统中的水平聚类”理论物理进展。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
坪井明人: "最近のモデル理論について" 数学. 47. 62-72 (1995)
Akito Tsuboi:“最近的模型理论” 数学 47. 62-72 (1995)
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 6 条
Application of saturated structures to the study of finite model theory
-
批准号:21K03336
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.58万
-
财政年份:2021
-
负责人:坪井 明人
-
依托单位:
大規模縦断コホートデータを用いた義歯の認知症予防効果のエビデンスの探索
-
批准号:21K09992
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.58万
-
财政年份:2021
-
负责人:坪井 明人
-
依托单位:
精神的ストレスが顎関節症患者の咀嚼筋痛に及ぼす影響
-
批准号:10771074
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$1.34万
-
财政年份:1998
-
负责人:坪井 明人
-
依托单位:
モデル理論における弱い同形概念の導入とその研究
-
批准号:09874040
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$0.32万
-
财政年份:1997
-
负责人:坪井 明人
-
依托单位:
精神的ストレスが心因性顎関節症患者に及ぼす影響
-
批准号:07771825
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1995
-
负责人:坪井 明人
-
依托单位:
心因性顎関節症患者の特徴
-
批准号:06771799
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1994
-
负责人:坪井 明人
-
依托单位:
モデル論の応用
-
批准号:04740100
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1992
-
负责人:坪井 明人
-
依托单位:
モデル論における分解定理
-
批准号:02854012
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1990
-
负责人:坪井 明人
-
依托单位:
超安定な理論の模型について
-
批准号:62740111
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.51万
-
财政年份:1987
-
负责人:坪井 明人
-
依托单位: