On Generic Predicates and the Amalgamation Property for Automorphisms
スポンサーリンク
概要
- 論文の詳細を見る
We prove that if a model complete theory T has the free amalgamation property for automorphisms then so does a theory of generic predicates of T. Therefore, the class of the generic automorphisms of unstable structures constructed from stable structures by adding several generic predicates is not elementary.
- 東海大学の論文
- 2005-03-30