Back to Search Start Over

Closures and generating sets related to combinations of structures

Authors :
S. Sudoplatov
Source :
Известия Иркутского государственного университета: Серия "Математика", Vol 16, Iss 1, Pp 131-144 (2016)
Publication Year :
2016
Publisher :
Irkutsk State University, 2016.

Abstract

We investigate closure operators and describe their properties for $E$-combinations and $P$-combinations of structures and their theories including the negation of finite character and the exchange property. It is shown that closure operators for E-combinations correspond to the closures with respect to the ultraproduct operator forming Hausdorff topological spaces. It is also shown that closure operators for disjoint $P$-combinations form topological $T_0$-spaces, which can be not Hausdorff. Thus topologies for $E$-combinations and $P$-combinations are rather different. We prove, for E-combinations, that the existence of a minimal generating set of theories is equivalent to the existence of the least generating set, and characterize syntactically and semantically the property of the existence of the least generating set: it is shown that elements of the least generating set are isolated and dense in its $E$-closure. Related properties for P-combinations are considered: it is proved that again the existence of a minimal generating set of theories is equivalent to the existence of the least generating set but it is not equivalent to the isolation of elements in the generating set. It is shown that $P$-closures with the least generating sets are connected with families which are not $\omega$-reconstructible, as well as with families having finite $e$-spectra. Two questions on the least generating sets for E-combinations and P-combinations are formulated and partial answers are suggested.

Details

Language :
English, Russian
ISSN :
19977670 and 25418785
Volume :
16
Issue :
1
Database :
Directory of Open Access Journals
Journal :
Известия Иркутского государственного университета: Серия "Математика"
Publication Type :
Academic Journal
Accession number :
edsdoj.54667fb34e574f8c9b870eafea97bb7d
Document Type :
article