A research on generic constructions
| Project/Area Number |
14540146
|
|---|
| 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 | Hosei University (2003)
Toyota National College of Technology (2002) |
|---|
Principal Investigator |
IKEDA Koichiro Hosei University, Faculty of Business Administration, Associate Professor, 経営学部, 助教授 (60332029)
|
|---|
| Project Period (FY) |
2002 – 2003
|
| Project Status |
Completed (Fiscal Year 2003)
|
| Budget Amount *help |
¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2003: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2002: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | generic structure / stable theory / Lachlan's conjecture / pseudoplane / simple theory / omega-categorical / 安定性 / 単純性 / Hodgesの問題 / Genericな構造 / 範疇性 / Lanchlan予想 / δ-Genericなグラフ / 擬平面 / 射影平面 |
|---|
| Research Abstract |
The aim of this project was to get a clue to a solution of the following three problems :
Lachlan's conjecture : For any stable theory T, the number of countable models of T is one or infinite. Hodges' problem : Is there an omega-categorical projective plane?
Baldwin's problem : Is any superstable generic structure omega-stable?
In 2002, we obtained the following proposition ;
Proposition 1 : If a generic pseudoplane M is strictly stable, then cl(A) is finite for any finite subset A of M. The result was published in Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto. In August 2002, we held a reserch meeting in Yamanakako, and I discussed with model theorists. After this meeting, I got the following two theorems :
Theorem 2 : There is no omega-categorical generic projective plane.
Theorem 3 : Any generic superstable pseudoplane is omega-stable.
Theorem 2 and 3 are partial results of Hodges' problem and Baldwin's problem respectively. The former result was published in Notre Dame Journal of Formal Logic. The latter result was published in Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto. In July 2003, we held a research meeting in Hachioji, and I participated a project organized by Byunghan Kim. After that, I got some proposition result characterizing a generic structure whose theory is simple. This result was published in Kokyuroku of the Research Institute of Mathematical Sciences in Kyoto.
|
Report
(3 results)
Research Products
(17 results)
