Results 1 to 10 of about 78 (61)

Algebras of Binary Isolating Formulas for Tensor Product Theories

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 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   +4 more sources

Algebras of Binary Isolating Formulas for Strong Product Theories

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 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   +4 more sources

Algebras of Binary Isolating Formulas for Theories of Root Products of Graphs

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 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   +4 more sources

Algebras of Binary Isolating Formulas for Homomorphic Product Theories

open access: yesИзвестия Иркутского государственного университета: Серия "Математика"
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   +4 more sources

Algebras of binary isolating formulas for theories of modular products of graphs

open access: yesҚарағанды университетінің хабаршысы. Математика сериясы
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   +4 more sources

On Algebras of Distributions of Binary Formulas for Theories of Unars

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 2016
Algebras of distributions of binary isolating and semi-isolating formulas are derived structures for a given theory. These algebras reflect binary links between realizations of 1-types defined by formulas of the initial theory.
D. Emelyanov
doaj   +1 more source

Forcing of Infinity and Algebras of Distributions of Binary Semi-isolating Formulas for Strongly Minimal Theories [PDF]

open access: yesMathematics and Statistics, 2014
We apply a general approach for distributions of binary isolating and semi-isolating formulas to the class of strongly minimal theories.
exaly   +3 more sources

On algebras of binary isolating formulas for weakly circularly minimal theoriesof convexity rank 2

open access: yesKazakh Mathematical Journal
This 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, Sergey Sudoplatov
exaly   +2 more sources

On Deterministic and Absorbing Algebras of Binary Formulas of Polygonometrical Theories

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 2017
Algebras of distributions of binary isolating and semi-isolating formulas are derived structures for a given theory. These algebras reflect binary links between realizations of 1-types defined by formulas of the initial theory.
D. Emelyanov, S. Sudoplatov
doaj   +1 more source

Algebras of Distributions of Binary Formulas for Theories of Archimedean Solids

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 2019
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. Emelyanov
doaj   +1 more source

Home - About - Disclaimer - Privacy