In P-minimal structures with definable Skolem functions

Abstract

Let ℒ be a countable language and m be a P-minimal ℒ-structure. We show that if m admits definable Skolem function, has exchange property and is n₁-saturated and (G,.) is a group definable and n-dimensional, then there is a topology that makes (G,.) a topological group.