KIKYO Hirotaka

J-GLOBAL         Last updated: Oct 15, 2019 at 19:31
 
Avatar
Name
KIKYO Hirotaka
Affiliation
Kobe University
Section
Graduate School of System Informatics Department of Information Science
Job title
Professor

Research Interests

 
 

Published Papers

 
On the automorphism group of a Hrushovski's pseudoplane associated to 5/8
KIKYO Hirotaka
RIMS Kokyuroku   2119 75-86   Jul 2019
KIKYO HIROTAKA, OKABE SHUNSUKE
Proceedings of the 14th and 15th Asian Logic Conferences   175-194   Jan 2019   [Refereed]
Let x be a real number with 3/5 < x < 2/3 and M a Hrushovski's pseudoplane associated to x. If x is rational then the theory of M is countably categorical and model complete. If the boundary function is bounded then the theory of M is not model ...
Balanced zero-sum sequences and minimal intrinsic extensions
KIKYO HIROTAKA
Kokyuroku of RIMS, Kyoto University   2079 54-60   Aug 2018
A notion of a balnaced sequence associated to a rational number is defined. For any rational number, a basic balanced sequence s exists. Any rotation of s^k is balanced. Conversely, any balanced sequence is a rotation of s^k for some k.
Model Completeness of the theory of Hrushovski's pseudoplane associated to 5/8
KIKYO HIROTAKA
Kokyuroku of RIMS, Kyoto University   2084 29-38   Aug 2018
Hrushovski’s pseudoplane associated to rational number 5/8 has a model complete theory.
KIKYO HIROTAKA
Archive for Mathematical Logic   57 769-794   Dec 2017   [Refereed]
Let K be an ab initio amalgamation class with an unbounded increasing concave function f. We show that if the predimension function has a rational coefficient and f satisfies a certain assumption then the generic structure of K has a model complet...

Misc

 
Model Theory of Automorphisms
KIKYO HIROTAKA
Sugaku Expositions   29(1) 1-15   Jun 2016   [Refereed]
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...

Books etc

 
KIKYO HIROTAKA (Part:Editor)
Research Institute for Mathematical Sciences, Kyoto University   Jul 2016   
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版
Kikyo, Hirotaka
岩波書店   Mar 2007   
一階の構造のgeneric自己同型写像の研究とその代数学への応用 平成16年度~平成18年度科学研究費補助金(基盤研究(C))研究成果報告書
Kikyo, Hirotaka
日本学術振興会   Feb 2007   
情報システムと情報技術事典
Kikyo, Hirotaka
培風館   Jun 2006   
A LOGICAL APPROACH TO DISCRETE MATH
GRIES, David, SCHNEIDER, Fred B., NANBA, Kanji, DOI, Norihisa, 飯島 正, 小野寺 民也, 桔梗 宏孝, 志村 立矢, 高橋 真 (Part:Joint Translation)
日本評論社   Jul 2001   

Conference Activities & Talks

 
On model completeness of generic graphs: Irrational coefficient case
KIKYO HIROTAKA
2015年度日本数学会秋季総合分科会   Oct 2015   
有理数係数の場合のK_fのジェネリックグラフのモデル完全性の証明で構成したtwigにより、無理数係数の場合には極小固有拡大を構成できることを示した。
Model complete generic structures I
IKEDA KOICHIRO, KIKYO HIROTAKA
Annual Meeting of the Mathematical Society of Japan 2014   Mar 2014   
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...
Model complete generic structures II
KIKYO HIROTAKA, IKEDA KOICHIRO
Annual Meeting of the Mathematical Society of Japan 2014   Mar 2014   
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 [Invited]
KIKYO HIROTAKA
The 13th Asian Logic Conference   Sep 2013   
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
Hirotaka Kikyo
Telfth Asian Logic Conference   Dec 2011   

Teaching Experience