Hirotaka Kikyo

According to our database, Hirotaka Kikyo authored at least 9 papers between 1994 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2018

Model completeness of generic graphs in rational cases.

Hirotaka Kikyo

Arch. Math. Log., 2018

2012

On superstable generic structures.

Koichiro Ikeda, Hirotaka Kikyo

Arch. Math. Log., 2012

2011

Kolmogorov complexity and characteristic constants of formal theories of arithmetic.

Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo

Math. Log. Q., 2011

2009

On generic structures with a strong amalgamation property.

Koichiro Ikeda, Hirotaka Kikyo, Akito Tsuboi

J. Symb. Log., 2009

2008

On Characteristic Constants of Theories Defined by Kolmogorov Complexity.

Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo

Proceedings of the Logic, 2008

2002

The Strict Order Property and Generic Automorphisms.

Hirotaka Kikyo, Saharon Shelah

J. Symb. Log., 2002

2000

Model Companions of Theories with An Automorphism.

Hirotaka Kikyo

J. Symb. Log., 2000

The definable multiplicity property and generic automorphisms.

Hirotaka Kikyo, Anand Pillay

Ann. Pure Appl. Log., 2000

1994

On Reduction Properties.

Hirotaka Kikyo, Akito Tsuboi

J. Symb. Log., 1994