Pokaż uproszczony rekord

Positive Complete Theories and Positive Strong Amalgamation Property

dc.contributor.authorBelkasmi, Mohammed
dc.date.accessioned2024-09-30T13:40:18Z
dc.date.available2024-09-30T13:40:18Z
dc.date.issued2024-06-04
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/53270
dc.description.abstractWe introduce the notion of positive strong amalgamation property and we investigate some universal forms and properties of this notion.Considering the close relationship between the amalgamation property and the notion of complete theories, we explore the fundamental properties of positively complete theories, and we illustrate the behaviour of this notion by bringing changes to the language of the theory through the groups theory.en
dc.language.isoen
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;3en
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0
dc.subjecth-inductive theoryen
dc.subjectexistentially closeden
dc.subjectcomplete theoryen
dc.subjectpositive amalgamationen
dc.subjectpositive strong amalgamationen
dc.subjectmathematical modelen
dc.subjectsemanticsen
dc.titlePositive Complete Theories and Positive Strong Amalgamation Propertyen
dc.typeArticle
dc.page.number301-319
dc.contributor.authorAffiliationQassim University, College of Sciences, Department of Mathematics, Buraydah, Qassim, Saudi Arabiaen
dc.identifier.eissn2449-836X
dc.referencesM. Belkasmi, Positive model theory and amalgamations, Notre Dame Journal of Formal Logic, vol. 55.4 (2014), pp. 205–230, DOI: https://doi.org/10.1215/00294527-2420648en
dc.referencesM. Belkasmi, Algebraically closed structures in positive logic, Annals of Pure and Applied Logic, vol. 171.9 (2020), pp. 243–258, DOI: https://doi.org/10.1016/j.apal.2020.102822en
dc.referencesE. Hrushovski, Simplicity and the Lascar group, Preprint, (1998).en
dc.referencesA. Pillay, Forking in the category of existentially closed structure, In connection between model theory and algebraic and analytic geometry. Quuderini di Matematica. University of Napoli, vol. 6 (200), pp. 23–42.en
dc.referencesI. B. Yaacov, B. Poizat, Fondements de la Logique Positive, The Journal of Symbolic Logic, vol. 72.4 (2007), pp. 1141–1162, DOI: https://doi.org/10.2178/jsl/1203350777en
dc.contributor.authorEmailm.belkasmi@qu.edu.sa
dc.identifier.doi10.18778/0138-0680.2024.10
dc.relation.volume53


Pliki tej pozycji

Thumbnail
Nazwa:
301-319_Belkasmi.pdf
Rozmiar:
1.713MB
Format:
PDF
Oglądaj/Otwórz

Pozycja umieszczona jest w następujących kolekcjach

Pokaż uproszczony rekord

https://creativecommons.org/licenses/by-nc-nd/4.0
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako https://creativecommons.org/licenses/by-nc-nd/4.0