О ЛОКАЛЬНОЙ МОНОТОННОСТИ ОДНОМЕСТНЫХ ФУНКЦИЙ ОПРЕДЕЛИМЫХ В КОНЕЧНО ПРОСТЕГАННЫХ УПОРЯДОЧЕННЫХ СТРУКТУРАХ
Loading...
Date
2020
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
СДУ хабаршысы - 2020
Abstract
Аннотация. Как было доказано Б. Кулпешовым, любое сечение в слабо о-минимальной структуре может иметь максимум два расширения до полных типов, причем множества всех реализаций этих типов являются выпуклыми в любых элементарных расширениях. В данной статье мы обобщаем понятие слабой о-минимальности и получаем следующее понятие n-стеганых структур: линейно упорядоченная структура называется n -стеганой, если любое сечение имеет не более n расширений до полного типов. Обратите внимание, что мы здесь опускаем условие, что множество всех реализаций типа должно быть выпуклым. В этой статье мы исследуем свойство локальной монотонности для одноместных функций, определимых в конечно простеганных структурах..
Description
Keywords
математическая логика, теория моделей, оминимальность, упорядоченные структуры, сечение, полный тип, СДУ хабаршысы - 2020, №1
Citation
В.В. Вербовский / О ЛОКАЛЬНОЙ МОНОТОННОСТИ ОДНОМЕСТНЫХ ФУНКЦИЙ ОПРЕДЕЛИМЫХ В КОНЕЧНО ПРОСТЕГАННЫХ УПОРЯДОЧЕННЫХ СТРУКТУРАХ / СДУ хабаршысы - 2020