论文信息 - Trees and Keislers problem

Trees and Keislers problem

Abstract. We give a new negative solution to Keisler's problem regarding Skolem functions and elementary extensions. In contrast to existing ad hoc solutions due to Payne, Knight, and Lachlan, our solution uses well-known models.

Ali Enayat

[2] Julia F. Knight. Skolem Functions and Elementary Embeddings , 1977, J. Symb. Log..

[3] Peter Winkler,et al. Model-completeness and skolem expansions , 1975 .

[4] Julia F. Knight. Generic Expansions of Structures , 1973, J. Symb. Log..

[5] Saharon Shelah,et al. Models with second order properties II. Trees with no undefined branches , 1978 .