Algebras of Binary Isolating Formulas for Tensor Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2022 Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations.
D.Yu. Emel’yanov
doaj +6 more sources
Algebras of Binary Isolating Formulas for Theories of Root Products of Graphs
Известия Иркутского государственного университета: Серия "Математика", 2021 Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types.
D.Yu. Emel’yanov
doaj +6 more sources
Algebras of Binary Isolating Formulas for Strong Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2023 Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emelyanov
doaj +6 more sources
Algebras of Binary Isolating Formulas for Homomorphic Product Theories
Известия Иркутского государственного университета: Серия "Математика"Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emel’yanov
doaj +6 more sources
Algebras of binary isolating formulas for theories of modular products of graphs
Қарағанды университетінің хабаршысы. Математика сериясыThis article discusses the problems of constructing and classifying algebras generated by modular products of cycles. We demonstrate that algebras of binary isolating, used to analyze relationships between binary formulas of a theory, can be naturally ...
D.Y. Emelyanov
doaj +6 more sources
On algebras of binary isolating formulas for weakly circularly minimal theoriesof convexity rank 2
Kazakh Mathematical JournalThis paper is devoted to the study of weakly circularly minimal circularly ordered structures. The simplest example of a circular order is a linear order with endpoints, in which the largest element is identified with the smallest. Another example is the order that arises when going around a circle.
Beibut Kulpeshov, S. V. Sudoplatov
exaly +5 more sources
Algebras of distributions of binary semi-isolating formulas for families of isolated types and for countably categorical theories [PDF]
International Mathematical Forum, 2014 We apply a general approach for distributions of binary isolating and semi-isolating formulas to families of isolated types and to the class of countably categorical theories.
S. V. Sudoplatov
semanticscholar +5 more sources
Forcing of Infinity and Algebras of Distributions of Binary Semi-isolating Formulas for Strongly Minimal Theories [PDF]
Mathematics and Statistics, 2014 We apply a general approach for distributions of binary isolating and semi-isolating formulas to the class of strongly minimal theories.
S. V. Sudoplatov
exaly +4 more sources
Algebras of distributions for binary semi-isolating formulas of a complete theory [PDF]
, 2012 We define a class of algebras describing links of binary semi-isolating formulas on a set of realizations for a family of 1-types of a complete theory. These algebras include algebras of isolating formulas considered before. We prove that a set of labels for binary semi-isolating formulas on a set of realizations for a 1-type forms a monoid of a ...
S. V. Sudoplatov
openalex +3 more sources
Algebras of distributions of binary isolating formulas of a complete theory [PDF]
, 2012 41 pages, 1 ...
Ilya V. Shulepov, S. V. Sudoplatov
openalex +3 more sources