Cтраница 4
Образ ограниченного полуаналитического множества при проекции не является, вообще говоря, полу аналитическим. Этот факт объясняет следующее определение. Подмножество 5 пространства Кп называется субаналитическим, если в окрестности каждой точки пространства Кп оно является проекцией некоторого ограниченного полуаналитического множества. Ван ден Дрис и Денеф [19] построили теорию р-адических субаналитических множеств. Некоторые из их идей при этом были подсказаны математической логикой. Первая основная теорема утверждает, что дополнение к субаналитическому множеству вновь является субаналитическим. Другой основной результат состоит в следующем. [46]