О ЛОКАЛЬНОЙ МОНОТОННОСТИ ОДНОМЕСТНЫХ ФУНКЦИЙ ОПРЕДЕЛИМЫХ В КОНЕЧНО ПРОСТЕГАННЫХ УПОРЯДОЧЕННЫХ СТРУКТУРАХ

No Thumbnail Available

Date

2020

Journal Title

Journal ISSN

Volume Title

Publisher

СДУ хабаршысы - 2020

Abstract

Аннотация. Как было доказано Б. Кулпешовым, любое сечение в слабо о-минимальной структуре может иметь максимум два расширения до полных типов, причем множества всех реализаций этих типов являются выпуклыми в любых элементарных расширениях. В данной статье мы обобщаем понятие слабой о-минимальности и получаем следующее понятие n-стеганых структур: линейно упорядоченная структура называется n -стеганой, если любое сечение имеет не более n расширений до полного типов. Обратите внимание, что мы здесь опускаем условие, что множество всех реализаций типа должно быть выпуклым. В этой статье мы исследуем свойство локальной монотонности для одноместных функций, определимых в конечно простеганных структурах..

Description

Keywords

математическая логика, теория моделей, оминимальность, упорядоченные структуры, сечение, полный тип, СДУ хабаршысы - 2020, №1

Citation

В.В. Вербовский / О ЛОКАЛЬНОЙ МОНОТОННОСТИ ОДНОМЕСТНЫХ ФУНКЦИЙ ОПРЕДЕЛИМЫХ В КОНЕЧНО ПРОСТЕГАННЫХ УПОРЯДОЧЕННЫХ СТРУКТУРАХ / СДУ хабаршысы - 2020