О ЛОКАЛЬНОЙ МОНОТОННОСТИ ОДНОМЕСТНЫХФУНКЦИЙ ОПРЕДЕЛИМЫХ В КОНЕЧНО ПРОСТЕГАННЫХУПОРЯДОЧЕННЫХ СТРУКТУРАХ
DOI:
https://doi.org/10.47344/n482c369Ключевые слова:
математическая логика, теория моделей, оминимальность, упорядоченные структуры, сечение, полный типАннотация
Как было доказано Б. Кулпешовым, любое сечение в слабо о-минимальной структуре может иметь максимум два расширения до
полных типов, причем множества всех реализаций этих типов являются выпуклыми в любых элементарных расширениях. В данной статье мы обобщаем понятие слабой о-минимальности и получаем следующее понятие n-стеганых структур: линейно упорядоченная структура называется nстеганой, если любое сечение имеет не более n расширений до полного типов. Обратите внимание, что мы здесь опускаем условие, что множество всех реализаций типа должно быть выпуклым. В этой статье мы исследуем свойство локальной монотонности для одноместных функций, определимых в конечно простеганных структурах.