О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей

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

Full description

Bibliographic Details
Main Authors: B.Sh. Kulpeshov, S.V. Sudoplatov
Format: Article
Language:English
Published: Academician Ye.A. Buketov Karaganda University 2016-03-01
Series:Қарағанды университетінің хабаршысы. Математика сериясы
Subjects:
Online Access:http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/80
_version_ 1797372581564645376
author B.Sh. Kulpeshov
S.V. Sudoplatov
author_facet B.Sh. Kulpeshov
S.V. Sudoplatov
author_sort B.Sh. Kulpeshov
collection DOAJ
description В статье исследованы линейно упорядоченные теории, являющиеся слабо о - минимальными. В частности, рассмотрены теории, имеющие немаксимальный счетный спектр. Изучены двухместные формулы, чьи множества решений лежат собственно во множестве реализаций неалгебраического типа. Исследовано влияние поведения таких формул на число счетных попарно неизоморфных моделей. Доказано, что каждая такая формула порождает отношение эквивалентности.
first_indexed 2024-03-08T18:37:56Z
format Article
id doaj.art-52542170315f4101bf1c9b02e83de25b
institution Directory Open Access Journal
issn 2518-7929
2663-5011
language English
last_indexed 2024-03-08T18:37:56Z
publishDate 2016-03-01
publisher Academician Ye.A. Buketov Karaganda University
record_format Article
series Қарағанды университетінің хабаршысы. Математика сериясы
spelling doaj.art-52542170315f4101bf1c9b02e83de25b2023-12-29T10:22:09ZengAcademician Ye.A. Buketov Karaganda UniversityҚарағанды университетінің хабаршысы. Математика сериясы2518-79292663-50112016-03-01811О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделейB.Sh. KulpeshovS.V. Sudoplatov В статье исследованы линейно упорядоченные теории, являющиеся слабо о - минимальными. В частности, рассмотрены теории, имеющие немаксимальный счетный спектр. Изучены двухместные формулы, чьи множества решений лежат собственно во множестве реализаций неалгебраического типа. Исследовано влияние поведения таких формул на число счетных попарно неизоморфных моделей. Доказано, что каждая такая формула порождает отношение эквивалентности. http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/80слабая о-минимальностьсчетная модельранг выпуклостиотношение эквивалентности
spellingShingle B.Sh. Kulpeshov
S.V. Sudoplatov
О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей
Қарағанды университетінің хабаршысы. Математика сериясы
слабая о-минимальность
счетная модель
ранг выпуклости
отношение эквивалентности
title О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей
title_full О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей
title_fullStr О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей
title_full_unstemmed О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей
title_short О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей
title_sort о поведении 2 формул в упорядоченных теориях с немаксимальным числом счетных моделей
topic слабая о-минимальность
счетная модель
ранг выпуклости
отношение эквивалентности
url http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/80
work_keys_str_mv AT bshkulpeshov opovedenii2formulvuporâdočennyhteoriâhsnemaksimalʹnymčislomsčetnyhmodelej
AT svsudoplatov opovedenii2formulvuporâdočennyhteoriâhsnemaksimalʹnymčislomsčetnyhmodelej