Closure of special atomic subsets of semantic model
The present paper concerns some properties of the so-called small models, generally speaking, not necessarily complete theories and their relationship with each other. In the well-known paper [1], R. Vaught have proved the fundamental theorem-criterion on the behavior of countable prime and atomic...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Academician Ye.A. Buketov Karaganda University
2020-03-01
|
Series: | Қарағанды университетінің хабаршысы. Математика сериясы |
Subjects: | |
Online Access: | http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/326 |
_version_ | 1797372631960256512 |
---|---|
author | A.R. Yeshkeyev A.K. Issaeva N.V. Popova |
author_facet | A.R. Yeshkeyev A.K. Issaeva N.V. Popova |
author_sort | A.R. Yeshkeyev |
collection | DOAJ |
description |
The present paper concerns some properties of the so-called small models, generally speaking, not necessarily complete theories and their relationship with each other. In the well-known paper [1], R. Vaught have proved the fundamental theorem-criterion on the behavior of countable prime and atomic models for complete theories in countable language. The essence of this criterionis that in a complete theory any countable prime model is at the same time an atomic model of this theory. The result obtained in this paper is related to the classical problem of Vaught about countably prime models of complete theories but in more general formulation of the notion of countable atomicity. The main result of this paper is that it focuses on the syntactic properties on special subsets of a fragment of the semantic model the specific Jonsson theory. The concept of the so-called model-theoretic «rheostat» was also used to obtain results related to the refinement of the concept of atomicity in the framework of Jonsson theories.
|
first_indexed | 2024-03-08T18:38:38Z |
format | Article |
id | doaj.art-1389149f418e461eade9d68b9fda9643 |
institution | Directory Open Access Journal |
issn | 2518-7929 2663-5011 |
language | English |
last_indexed | 2024-03-08T18:38:38Z |
publishDate | 2020-03-01 |
publisher | Academician Ye.A. Buketov Karaganda University |
record_format | Article |
series | Қарағанды университетінің хабаршысы. Математика сериясы |
spelling | doaj.art-1389149f418e461eade9d68b9fda96432023-12-29T10:20:31ZengAcademician Ye.A. Buketov Karaganda UniversityҚарағанды университетінің хабаршысы. Математика сериясы2518-79292663-50112020-03-0197110.31489/2020m1/97-103Closure of special atomic subsets of semantic modelA.R. YeshkeyevA.K. IssaevaN.V. Popova The present paper concerns some properties of the so-called small models, generally speaking, not necessarily complete theories and their relationship with each other. In the well-known paper [1], R. Vaught have proved the fundamental theorem-criterion on the behavior of countable prime and atomic models for complete theories in countable language. The essence of this criterionis that in a complete theory any countable prime model is at the same time an atomic model of this theory. The result obtained in this paper is related to the classical problem of Vaught about countably prime models of complete theories but in more general formulation of the notion of countable atomicity. The main result of this paper is that it focuses on the syntactic properties on special subsets of a fragment of the semantic model the specific Jonsson theory. The concept of the so-called model-theoretic «rheostat» was also used to obtain results related to the refinement of the concept of atomicity in the framework of Jonsson theories. http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/326Jonsson theorysemantic modelexistentially prime modelatomic modelcore model |
spellingShingle | A.R. Yeshkeyev A.K. Issaeva N.V. Popova Closure of special atomic subsets of semantic model Қарағанды университетінің хабаршысы. Математика сериясы Jonsson theory semantic model existentially prime model atomic model core model |
title | Closure of special atomic subsets of semantic model |
title_full | Closure of special atomic subsets of semantic model |
title_fullStr | Closure of special atomic subsets of semantic model |
title_full_unstemmed | Closure of special atomic subsets of semantic model |
title_short | Closure of special atomic subsets of semantic model |
title_sort | closure of special atomic subsets of semantic model |
topic | Jonsson theory semantic model existentially prime model atomic model core model |
url | http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/326 |
work_keys_str_mv | AT aryeshkeyev closureofspecialatomicsubsetsofsemanticmodel AT akissaeva closureofspecialatomicsubsetsofsemanticmodel AT nvpopova closureofspecialatomicsubsetsofsemanticmodel |