1999 Fiscal Year Annual Research Report
| Project/Area Number |
11640100
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
坪井 明人 筑波大学, 数学系, 助教授 (30180045)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
西村 泰一 筑波大学, 数学系, 講師 (70135614)
塩谷 真弘 筑波大学, 数学系, 講師 (30251028)
安本 雅洋 名古屋大学, 大学院・人間情報学研究科, 教授 (10144114)
|
|---|
| Keywords | 可算モデル / ペアノの公理 / 一階論理式 / 定義可能性 |
|---|
| Research Abstract |
自然数の理論の可算モデルに関する次の予想を研究した。
予想:Mを一階ペアノ公理の超準可算モデルとする。通常の自然数の部分ωはその部分モデルになっている。しかし,ωをimplicitに定義する論理式φは存在しない。
いくつか,注意をしておく必要がある。ペアノ公理は帰納法をすべて含んでいるので,1階論理式Ψ(χ)でΨの解集合がωに一致するものはない。すなわち,通常の意味でωは定義可能集合にはならない。われわれは定義可能性の概念を少し拡大した。すなわち,2階の変数Χをもつ論理式ψ(Χ)がωをimplicitに定義するとは,集合ωがψ(Χ)のただひとつの解になっていることと定義した。われわれは,上の予想は論理式の範囲を狭めれば正しいことを示すことに成功した:
結果:ωをimplicitに定義するsimpleなformulaはない。
ここでsimpleな論理式は,Xが関数で閉じているという形の主張はすべて含む大きなクラスである。
|
Research Products
(6 results)
-
[Publications] 坪井明人 (Akito Tsuboi): "On interpretability of almost liner orderings"Notre Dame Jounal of Formal Logic. 39・3. 325-331 (1998)
-
[Publications] Koichiro Ikeda: "On theories with three countable models"Mathematical Logic Quaterly. 44巻. 161-166 (1998)
-
[Publications] 塩谷真弘 (Masahiro Shioya): "Splitting Ρκλ into maximally many stationary sets"Israel Journal of Mathematics. 114巻. 347-357 (1999)
-
[Publications] 塩谷真弘 (Masahiro Shioya): "Partition properties of subsets of Ρκλ"Fundamenta Mathematiche. 161巻. 325-329 (1999)
-
[Publications] 西村泰一 (Hirokazu Nishimura): "Synthetic Theory of Superconnections"International Journal of Theoretical Physics. 39・2. 297-320 (2000)
-
[Publications] 西村泰一 (Hirokazu Nishimura): "Infinitesimal Calculus of Variations"International Journal of Theoretical Physics. 38・6. 1771-1782 (1999)
