О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей
В статье исследованы линейно упорядоченные теории, являющиеся слабо о - минимальными. В частности, рассмотрены теории, имеющие немаксимальный счетный спектр. Изучены двухместные формулы, чьи множества решений лежат собственно во множестве реализаций неалгебраического типа. Исследовано влияние повед...
Main Authors: | , |
---|---|
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 |