List of Recent Publications
- Hirotaka Kikyo, "Model Completeness of generic graphs in rational cases,"
Archive for Mathematical Logic
https://doi.org/10.1007/s00153-017-0601-4.
Springer
pdf
- Hirotaka Kikyo, "Balanced zero-sum sequences and minimal intrinsic extensions", to appear in RIMS Kokyuroku. pdf
- Hirotaka Kikyo, "On Kf in irrational cases",
RIMS Kokyuroku 2002 (2016), 48-53.
pdf
- Hirotaka Kikyo, "Model complete generic graphs I", RIMS Kokyuroku 1938 (2015),
pp.~15--25.
pdf
- Koichiro Ikeda, Hirotaka Kikyo,
"Model complete generic structures",
in Proceedings of the 13th Asian Logic Conference,
Ed. Xishun Zhao et al, World Scientific, 2015, pp.~114--123.
- Koichiro Ikeda, Hirotaka Kikyo,
"On superstable generic structures",
Archive for Mathematical Logic,
Volume 51, Numbers 5-6 (2012), 591-600, DOI: 10.1007/s00153-012-0284-9
springer
- Shingo Ibuka, Makoto Kikuchi and Hirotaka Kikyo,
"Kolmogorov complexity and characteristic constants of formal
theories of arithmetic", Math. Log. Quart. 57, No. 5 (2011), 470 - 473.
- Koichiro Ikeda, Hirotaka Kikyo, Akito Tsuboi,
On generic structures with a strong amalgamation property,
Journal of Symbolic Logic, Vol.74 No.3 (2009), 721-733.
- Shingo Ibuka, Hirotaka Kikyo, Hiroshi Tanaka,
Quantifier elimination for lexicographic products of ordered abelian groups,
Tsukuba Journal of Mathematics, Vol.33, No.1 (2009), 95-129.
- Shingo Ibuka, Makoto Kikuchi and Hirotaka Kikyo,
On Characteristic Constants of Theories Defined by Kolmogorov Complexity,
15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings, LNAI 5110, (2008), 218-225.
- Hirotaka Kikyo,
On the Amalgamation Property for Automorphisms,
RIMS Kokyuroku 1602 (2008),pp.93-102.
pdf
- Hirotaka Kikyo, "On central gap numbers of symmetric groups,"
Math. J. of Okayama Univ. 50 (2008), 63-84.
pdf
- Hirotaka Kikyo,
"On generic predicates and the amalgamation property for automorphisms,"
Proc. Sch. Sci., Tokai Univ. Vol.40 (2005), 19-24.
- Hirotaka Kikyo,
On generic predicates and automorphisms,
RIMS Kokyuroku 1390 (2004), 1-8.
pdf
- Hirotaka Kikyo and Saharon Shelah,
"The strict order property and generic automorphisms,"
Journal of Symbolic Logic, Vol. 67, No.1 (2002), pp.214-216.
- Hirotaka Kikyo and Anand Pillay,
"The definable multiplicity property and generic automorphisms,"
Annals of Pure and Applied Logic, Vol. 106 (2000),
No.1-3, pp. 263-273.
- Hirotaka Kikyo,
"Model companions of theories with an automorphism,"
Journal of Symbolic Logic, Vol. 65, No.3 (2000), pp. 1215-1222.
- Hirotaka Kikyo,
"On the groups with homogeneous theory,"
Tsukuba Journal of Mathematics, Vol. 22, No.2 (1998), pp. 551-557.