Simplicity and Amalgamation in Model Theory

模型理论的简单性和融合

• 批准号: 13640099
• 负责人: TSUBOI Akito
• 金额: $ 2.11万
• 依托单位: Institute of Mathematics, University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13640099/
• 关键词: Model Theory; Simple Theory; Peano Arithmetic; 単純性

Let M be a model of PA and l≠ω be an initial segment of M. Let L_0 be the language for additive ordered groups.Then, there is a model N of PA such that(a) M＼L_0 = N＼L_0,(b) x ・^M x = x ・^N x if and only if x ・^M ∈xI.If I is closed under ・^M the second condition can be replaced by2'. x ・^M x = x ・^N x if and only if x ∈ I,

设M是PA的一个模型，L≠ω是M的一个初始段，L_0是可加序群的语言，则有一个PA的模型N使得(A)M\L_0=N\L_0，(B)x·^Mx=x·^Nx当且仅当x·^M·∈xI，如果I在·^M下是闭的，则第二个条件可以被2‘代替.X·^Mx=x·^Nx当且仅当x∈i，

项目成果

Masahiro Shioya: "Generating the club filter on $P_\kappa\lambda$"Topology and its Applications. 122. 415-419 (2002)

Masahiro Shioya：“在 $P_kappalambda$ 上生成俱乐部过滤器”拓扑及其应用。

Akito TSUBOI, Masahiko MURAKAMI: "Expanding the additive reduct of a model of peano arithmatic"MLQ. 49・3(to appear). (2003)

Akito TSUBOI、Masahiko MURAKAMI：“扩展皮亚诺算术模型的加法约简”MLQ 49·3（待发表）。

Akito Tsuboi, M.Murakami: "Expanding the additive reduct of a model of Peano arithmetic"MLQ. 49,3. (2003)

Akito Tsuboi，M.Murakami：“扩展皮亚诺算术模型的加法约简”MLQ。

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

Akito Tsuboi：“简单理论的随机合并”数学日志。47. 45-50 (2001)