| Project/Area Number |
11640100
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | University of Tsukuba. |
|---|
Principal Investigator |
TSUBOI Akito Institute of Mathematics, University of Tsukuba, Associate Professor., 数学系, 助教授 (30180045)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NISHIMURA Hirokazu Institute of Mathematics, University of Tsukuba, Lecturer., 数学系, 講師 (70135614)
SHIOYA Masahiro Institute of Mathematics, University of Tsukuba, Lecturer., 数学系, 講師 (30251028)
MOTOHASHI Nobuyoshi Institute of Mathematics, University of Tsukuba, Professor., 数学系, 教授 (70015874)
TSUKADA Nabutaka Institute of Mathematics, University of Tsukuba, Assistant Professor, 数学系, 助手 (50015559)
安本 雅洋 名古屋大学, 大学院・人間情報学研究科, 教授 (10144114)
|
|---|
| Project Period (FY) |
1999 – 2000
|
| Project Status |
Completed (Fiscal Year 2000)
|
| Budget Amount *help |
¥3,800,000 (Direct Cost: ¥3,800,000)
Fiscal Year 2000: ¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 1999: ¥2,100,000 (Direct Cost: ¥2,100,000)
|
|---|
| Keywords | model / structure / stability / 可算モデル / ペアノの公理 / 一階論理式 / 定義可能性 |
|---|
| Research Abstract |
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.
|
