Rchr
J-GLOBAL ID：200901024940506411
Update date: Jan. 30, 2024
Kikyo Hirotaka
キキョウ ヒロタカ | Kikyo Hirotaka
Affiliation and department：
Job title：
Professor
Research field (2)：
Applied mathematics and statistics
, Basic mathematics
Research keywords (2)：
model theory
, mathematical logic
Research theme for competitive and other funds (15)：
- 2017 - 2020 Study of generic structures and their automorphism groups
- 2014 - 2017 A study on new construction in model theory
- 2013 - 2016 Study on generic structures in model theory
- 2011 - 2013 A study of a new method of construction in model theory
- 2007 - 2009 A Study of the Model Theory of Random Graphs
- 2007 - 2009 Study of first order model theory and its application
- 2007 - 2009 Study of existentially closed models and its applications
- 2004 - 2006 Research of generic automorphisms of first order structures and its application to algebra
- 2003 - 2005 Infinite Method in Finite Model Theory and its application for aiming to solve Lachlan's conjecture.
- 2001 - 2002 Simplicity and Amalgamation in Model Theory
- 1995 - 1997 Applications of Frobenius map to Commutative Ring Theory and Algebraic Geometry
- 1994 - 1994 確率過程の調和モデルによる研究
- 1993 - 1993 数学的構造における決定手続きの研究
- 1992 - 1992 数え上げ組合せ論の鎖数の研究
- 1991 - 1991 Intersection Graphの研究
Show all
Papers (34)：
-
Hirotaka Kikyo. On the Structure of Hrushovski's Pseudoplanes Associated to Irrational Numbers. Kokyuroku of RIMS. 2023. 2249. 83-96
-
Hirotaka Kikyo. Some remarks on groups definable in certain generic structures. Kokyuroku of RIMS. 2022. 2218. 64-70
-
Hirotaka Kikyo. On the automorphism groups of Hrushovski's pseudoplanes associated to small rational numbers. Kokyuroku of RIMS. 2020. 2170. 26-42
-
KIKYO Hirotaka. On the automorphism group of a Hrushovski's pseudoplane associated to 5/8. RIMS Kokyuroku. 2019. 2119. 75-86
-
KIKYO HIROTAKA, OKABE SHUNSUKE. On Hrushovski's pseudoplanes. Proceedings of the 14th and 15th Asian Logic Conferences. 2019. 175-194
ｍore...
MISC (9)：
-
KIKYO HIROTAKA. Model Theory of Automorphisms. Sugaku Expositions. 2016. 29. 1. 1-15
-
IKEDA KOICHIRO, KIKYO HIROTAKA. AN UNSATURATED GENERIC STRUCTURE (Model theoretic aspects of the notion of independence and dimension). RIMS Kokyuroku. 2011. 1741. 9-12
-
Kikyo Hirotaka, Tsuboi Akito. On generic automorphisms of a tree structure (New developments of independence notions in model theory). RIMS Kokyuroku. 2010. 1718. 52-57
-
Kikyo Hirotaka. On the Amalgamation Property for Automorphisms (Model theoretic techniques for constructing infinite structures). RIMS Kokyuroku. 2008. 1602. 93-102
-
桔梗 宏孝. ベクトル空間のGeneric 自己同型(モデル理論における独立概念と次元). 数理解析研究所講究録. 2007. 1555. 49-56
ｍore...
Books (10)：
-
数理解析研究所講究録2249「モデル理論における独立概念と次元の研究」
京都大学数理解析研究所 2023
-
RIMS Kokyuroku 2218, Model theoretic aspects of the notion of independence and dimension
Research Institute for Mathematical Sciences, Kyoto University2 2022
-
RIMS Kokyuroku 2119 Model Theoretic Aspects of the Notion of Independence and Dimension
Research Institute for Mathematical Sciences, Kyoto University 2019
-
RIMS Kokyuroku 2002, Model theoretic aspects of the notion of independence and dimension
Research Institute for Mathematical Sciences, Kyoto University 2016
-
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
World Scientific 2010 ISBN:9789814293013
ｍore...
Lectures and oral presentations (58)：
-
On the structure of Hrushovski's pseudoplanes
(The Annual Meeting of the Mathematical Society of Japan, 2023 2023)
-
On Hrushovski's pseudoplanes with irrational dimensions
(Model theoretic aspects of the notion of independence and dimension (RIMS Symposia) 2022)
-
On generic structures defined with log-like functions
(The Fall Meeting of the Mathematical Society of Japan, 2022 2022)
-
On model completeness of certain generic structures
(The Annual Meeting of the Mathematical Society of Japan, 2022 2022)
-
Some remarks on groups definable in certain generic structures
(Model theoretic aspects of the notion of independence and dimension (RIMS Symposia) 2021)
ｍore...
Education (1)：
- - 1991 Waseda University Graduate School of Science and Engineering
Professional career (2)：
- 理学修士 (早稲田大学)
- 理学博士 (早稲田大学)
Association Membership(s) (4)：
日本ソフトウェア科学会
, 情報処理学会
, 日本数学会
, Association for Symbolic Logic
