桔梗 宏孝

J-GLOBALへ         更新日: 17/12/08 03:01
 
アバター
研究者氏名
桔梗 宏孝
 
キキョウ ヒロタカ
所属
神戸大学
部署
大学院システム情報学研究科 情報科学専攻
職名
教授
学位
理学修士(早稲田大学), 理学博士(早稲田大学)

研究キーワード

 
 

研究分野

 
 

学歴

 
 
 - 
1991年3月
早稲田大学 大学院理工学研究科博士後期課程数学専攻修了  
 

論文

 
On K_f in irrational cases
桔梗 宏孝
数理解析研究所講究録   2002 48-53   2016年7月
Consider an ab initio amalgamation class K_f with an unbounded increasing concave function f. We conjecture that if K_f has the free amalgamation property then the generic structure for K_f has a model complete theory. We consider the case where...
桔梗 宏孝
京都大学数理解析研究所講究録   1938 15-25   2015年4月
Let f be a monotone increasing unbounded function which is convex upwards and satisfying some mild condition. Suppose a predimension function has a coefficient 1/2. Then a generic structure for K_f of finite graphs has a model complete theory.
Model complete generic structures
Hirotaka Kikyo, Koichiro Ikeda
Proceedings of the 13th Asian Logic Conference   114-123   2015年3月   [査読有り][招待有り]
Generic structures constructed from a certain kind of amalgamation classes are shown to have a model complete countably categorical theory.
桔梗 宏孝, 池田 宏一郎
Archive for Mathematical Logic   51(5-6) 591-600   2012年8月   [査読有り]
Kolmogorov complexity and characteristic constants of formal theories of arithmetic
井深 真悟, 菊池 誠, 桔梗 宏孝
Mathematical Logic Quarterly   57・5・470 - 473    2011年10月   [査読有り]

Misc

 
Model Theory of Automorphisms
桔梗 宏孝
Sugaku Expositions   29(1) 1-15   2016年6月   [査読有り]
A differential field is a field together with a formal differential operator, and a difference field a field together with an automorphism of the field. There is a notion of a differentially closed field analogous to the notion of an algebraically...

書籍等出版物

 
桔梗 宏孝 (担当:編者)
京都大学数理解析研究所   2016年7月   
This is a proceedings of the RIMS Meeting "Model theoretic aspects of the notion of independence and dimension" held at RIMS, December 14-16, 2015.
岩波 数学辞典 第4版
桔梗 宏孝
岩波書店   2007年3月   
一階の構造のgeneric自己同型写像の研究とその代数学への応用 平成16年度~平成18年度科学研究費補助金(基盤研究(C))研究成果報告書
桔梗 宏孝
日本学術振興会   2007年2月   
情報システムと情報技術事典
桔梗 宏孝
培風館   2006年6月   
コンピュータのための数学
グリース デビット, シュナイダー フレッド B, 難波 完爾, 土居 範久, 飯島 正, 小野寺 民也, 桔梗 宏孝, 志村 立矢, 高橋 真 (担当:共訳)
日本評論社   2001年7月   

講演・口頭発表等

 
ジェネリックグラフのモデル完全性:無理数係数の場合
桔梗 宏孝
2015年度日本数学会秋季総合分科会   2015年10月   
有理数係数の場合のK_fのジェネリックグラフのモデル完全性の証明で構成したtwigにより、無理数係数の場合には極小固有拡大を構成できることを示した。
モデル完全なジェネリック構造I
池田 宏一郎, 桔梗 宏孝
2014 日本数学会年会   2014年3月   
In 1988, Hrushovski constructed new strongly minimal generic structure to give a counterexample to the Zilber conjecture. In his paper, Hrushovski pointed out that the theory of his structure is nearly model complete. In this talk, we give a chara...
モデル完全なジェネリック構造II
桔梗 宏孝, 池田 宏一郎
2014 日本数学会年会   2014年3月   
We consider hyper-graphs with 3-hyper-edges. Let A be such a hyper-graph. Let δ(A) = |A|- e(A) where e(A) is the number of hyper-edges in A. Suppose A is a hyper-subgraph of C. If A ⊊ X ⊆ C implies δ(A) < δ(X), then we write A < C. Let f(x) = log3...
On 0-extensions in generic constructions [招待有り]
桔梗 宏孝
The 13th Asian Logic Conference   2013年9月   
We discuss how to construct 0-extensions in amalgamation classes in abundance. There are many small structures with certain properties so that we can combine them to make 0-extensions. We also discuss their applications.
On superstable generic structures [招待有り]
桔梗 宏孝
Telfth Asian Logic Conference   2011年12月   

競争的資金等の研究課題

 
学術研究助成基金助成金/基盤研究(C)
研究期間: 2013年4月 - 2016年3月    代表者: 桔梗 宏孝
科学研究費補助金/基盤研究(C)
研究期間: 2008年       代表者: 桔梗 宏孝
科学研究費補助金/基盤研究(C)
研究期間: 2005年       代表者: 桔梗 宏孝