Decomposition of sets with a set structure over subordinate structures (Q1595728)

This article can be considered as a continuation of the previous article of the author [Dokl. Akad. Nauk, Ross. Akad. Nauk, 351, No. 5, 603-605 (1996); English translation: Dokl. Math. 54, No. 3, 930-932 (1996; Zbl 0896.04005)]. The author introduces a concept of decompositions over subordinate structures that is more general than his definition of \(P\)- and \(F\)-decompositions (loc. cit.). Exact definitions are too technical to be reproduced here. He proves an analogue of an assertion made by \textit{N. Bourbaki} [Théorie des ensembles, Herrmann, Paris (1958; Zbl 0092.27901)] that a \(\Sigma\)-object is uniquely determined by its decomposition and a preset subordinate structure, where \(\Sigma\) is a structure species in a formal Bourbaki system. For decompositions over subordinate structures analogues of all definitions and results from loc. cit. remain valid. The author defines Cartesian products, free sums and \(P\)- and \(F\)-objects over subordinate structures and states results that are not analogues of results from his previous paper (loc. cit.).