H. Kikyo

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2000

The strict order property and generic automorphisms

Hirotaka Kikyo, Saharon Shelah

If T is an model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.

math.LO1998

Model companions of theories with an automorphism

Hirotaka Kikyo

For a theory $T$ in $L, T_{σ}$ is the theory of the models of $T$ with an automorphism $σ$ . If $T$ is an unstable model complete theory without the independence property, then $T_{σ}$ …