2000 Fiscal Year Final Research Report Summary
Study of theories with finitely many countable models.
| 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)
|
|---|
| Project Period (FY) |
1999 – 2000
|
| 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.
|
