1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
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.