The following pages link to Hirotaka Kikyo (Q453181):
Displayed 19 items.
- On superstable generic structures (Q453182) (← links)
- Strongly nonmultidimensional theories (Q804569) (← links)
- Quantifier elimination for lexicographic products of ordered abelian groups (Q1032695) (← links)
- Remarks on Zil'ber's results: On the simplicity of the representation of groups and rings (Q1109026) (← links)
- On the groups with homogeneous theory (Q1277172) (← links)
- The definable multiplicity property and generic automorphisms (Q1591207) (← links)
- Model completeness of generic graphs in rational cases (Q1756487) (← links)
- Köhler theory for countable quadruple systems (Q2413067) (← links)
- Model Complete Generic Structures (Q2989967) (← links)
- Kolmogorov complexity and characteristic constants of formal theories of arithmetic (Q3096081) (← links)
- On generic structures with a strong amalgamation property (Q3399175) (← links)
- On Characteristic Constants of Theories Defined by Kolmogorov Complexity (Q3511460) (← links)
- On reduction properties (Q4314679) (← links)
- Model companions of theories with an automorphism (Q4527921) (← links)
- The strict order property and generic automorphisms (Q4532610) (← links)
- (Q4548461) (← links)
- (Q4548466) (← links)
- (Q5447678) (← links)
- (Q5464249) (← links)