| Project/Area Number | 13640099 |
|---|
| 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 | Institute of Mathematics, University of Tsukuba |
|---|
Principal Investigator |
TSUBOI Akito Institute of Mathematics, Associate Professor, 数学系, 助教授 (30180045)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TSUKADA Nobutaka Institute of Mathematics, Assistant Professor, 数学系, 助手 (50015559)
SHIOYA Masahiro Institute of Mathematics, Lecturer, 数学系, 講師 (30251028)
MOTOHASHI Nobuyoshi Institute of Mathematics, Professor, 数学系, 教授 (70015874)
KIKYO Hirotaka Tokai University, Department of Natural Science, Associate Professor, 理学部, 助教授 (80204824)
NISHIMURA Hirokazu Institute of Mathematics, Lecturer, 数学系, 講師 (70135614)
|
|---|
| Project Period (FY) |
2001 – 2002
|
| Project Status |
Completed(Fiscal Year 2002)
|
| Budget Amount *help |
¥3,300,000 (Direct Cost : ¥3,300,000)
Fiscal Year 2002 : ¥1,500,000 (Direct Cost : ¥1,500,000)
Fiscal Year 2001 : ¥1,800,000 (Direct Cost : ¥1,800,000)
|
|---|
| Keywords | Model Theory / Simple Theory / Peano Arithmetic / 単純性 |
|---|
| Research Abstract |
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 by
2'. x ・^M x = x ・^N x if and only if x ∈ I,
|
