Forcing companions of Jonsson AP-theories
This article is devoted to the study of the forcing companions of the Jonsson AP-theories in the enriched signature. It is proved that the forcing companion of the theory does not change when expanding the theories under consideration, which have some properties, by adding new predicate and constan...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Academician Ye.A. Buketov Karaganda University
2022-09-01
|
| Series: | Қарағанды университетінің хабаршысы. Математика сериясы |
| Subjects: | |
| Online Access: | http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/546 |
| _version_ | 1797372717792493568 |
|---|---|
| author | A.R. Yeshkeyev I.O. Tungushbayeva M.T. Omarova |
| author_facet | A.R. Yeshkeyev I.O. Tungushbayeva M.T. Omarova |
| author_sort | A.R. Yeshkeyev |
| collection | DOAJ |
| description |
This article is devoted to the study of the forcing companions of the Jonsson AP-theories in the enriched signature. It is proved that the forcing companion of the theory does not change when expanding the theories under consideration, which have some properties, by adding new predicate and constant symbols to the language. The model-theoretic results obtained in this paper in general form are supported by examples from differential algebra. An approach in combining a Jonsson and non-Jonsson theories is demonstrated. In this paper, for the first time in the history of Model Theory. This will allow us to further develop the methods of research of Jonsson theories and expand the apparatus for studying incomplete theories.
|
| first_indexed | 2024-03-08T18:38:57Z |
| format | Article |
| id | doaj.art-5cb7562eef5747d89f0c81df8261902d |
| institution | Directory Open Access Journal |
| issn | 2518-7929 2663-5011 |
| language | English |
| last_indexed | 2024-03-08T18:38:57Z |
| publishDate | 2022-09-01 |
| publisher | Academician Ye.A. Buketov Karaganda University |
| record_format | Article |
| series | Қарағанды университетінің хабаршысы. Математика сериясы |
| spelling | doaj.art-5cb7562eef5747d89f0c81df8261902d2023-12-29T10:19:13ZengAcademician Ye.A. Buketov Karaganda UniversityҚарағанды университетінің хабаршысы. Математика сериясы2518-79292663-50112022-09-01107310.31489/2022m3/152-163Forcing companions of Jonsson AP-theoriesA.R. YeshkeyevI.O. TungushbayevaM.T. Omarova This article is devoted to the study of the forcing companions of the Jonsson AP-theories in the enriched signature. It is proved that the forcing companion of the theory does not change when expanding the theories under consideration, which have some properties, by adding new predicate and constant symbols to the language. The model-theoretic results obtained in this paper in general form are supported by examples from differential algebra. An approach in combining a Jonsson and non-Jonsson theories is demonstrated. In this paper, for the first time in the history of Model Theory. This will allow us to further develop the methods of research of Jonsson theories and expand the apparatus for studying incomplete theories. http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/546Jonsson theoryperfect Jonsson theoryAP-theoryforcingforcing companionenrichment of a signature |
| spellingShingle | A.R. Yeshkeyev I.O. Tungushbayeva M.T. Omarova Forcing companions of Jonsson AP-theories Қарағанды университетінің хабаршысы. Математика сериясы Jonsson theory perfect Jonsson theory AP-theory forcing forcing companion enrichment of a signature |
| title | Forcing companions of Jonsson AP-theories |
| title_full | Forcing companions of Jonsson AP-theories |
| title_fullStr | Forcing companions of Jonsson AP-theories |
| title_full_unstemmed | Forcing companions of Jonsson AP-theories |
| title_short | Forcing companions of Jonsson AP-theories |
| title_sort | forcing companions of jonsson ap theories |
| topic | Jonsson theory perfect Jonsson theory AP-theory forcing forcing companion enrichment of a signature |
| url | http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/546 |
| work_keys_str_mv | AT aryeshkeyev forcingcompanionsofjonssonaptheories AT iotungushbayeva forcingcompanionsofjonssonaptheories AT mtomarova forcingcompanionsofjonssonaptheories |