Hirotaka Kikyo

11 papers C 1Journal 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dividing and forking in random hypergraphs.
Ann. Pure Appl. Log.
Hirotaka Kikyo, Akito Tsuboi
2025 J jnl
Random structures and automorphisms with a single orbit.
Arch. Math. Log.
Hirotaka Kikyo, Akito Tsuboi
2018 J jnl
Model completeness of generic graphs in rational cases.
Arch. Math. Log.
Hirotaka Kikyo
2012 J jnl
On superstable generic structures.
Arch. Math. Log.
Koichiro Ikeda, Hirotaka Kikyo
2011 J jnl
Kolmogorov complexity and characteristic constants of formal theories of arithmetic.
Math. Log. Q.
Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
2009 J jnl
On generic structures with a strong amalgamation property.
J. Symb. Log.
Koichiro Ikeda, Hirotaka Kikyo, Akito Tsuboi
2008 C conf
On Characteristic Constants of Theories Defined by Kolmogorov Complexity.
WoLLIC
Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
2002 J jnl
The Strict Order Property and Generic Automorphisms.
J. Symb. Log.
Hirotaka Kikyo, Saharon Shelah
2000 J jnl
Model Companions of Theories with An Automorphism.
J. Symb. Log.
Hirotaka Kikyo
2000 J jnl
The definable multiplicity property and generic automorphisms.
Ann. Pure Appl. Log.
Hirotaka Kikyo, Anand Pillay
1994 J jnl
On Reduction Properties.
J. Symb. Log.
Hirotaka Kikyo, Akito Tsuboi