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