Rchr
J-GLOBAL ID:200901024940506411
Update date: Oct. 15, 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 (36):
-
Hirotaka Kikyo, Akito Tsuboi. Dividing and forking in random hypergraphs. Annals of Pure and Applied Logic. 2025. 176. 2. 103521-103521
-
Hirotaka Kikyo, Akito Tsuboi. Random structures and automorphisms with a single orbit. Archive for Mathematical Logic. 2024
-
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
more...
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
more...
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
more...
Lectures and oral presentations (61):
-
On random hypergraphs and automorphisms with a single orbit
(The Annual Meeting of the Mathematical Society of Japan, 2024 2024)
-
On automorphisms with a single orbit on random structures
(2023)
-
On cyclic automorphisms
(The Fall Meeting of the Mathematical Society of Japan, 2023 2023)
-
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)
more...
Education (1):
- - 1991 Waseda University Graduate School of Science and Engineering
Professional career (2):
- 理学修士 (早稲田大学)
- 理学博士 (早稲田大学)
Association Membership(s) (4):
日本ソフトウェア科学会
, 情報処理学会
, 日本数学会
, Association for Symbolic Logic
Return to Previous Page