A5060675658- Advanced Algebra and Logic
- Rough Sets and Fuzzy Logic
- Fuzzy and Soft Set Theory
- semigroups and automata theory
- Logic, Reasoning, and Knowledge
- Advanced Banach Space Theory
- Rings, Modules, and Algebras
- Aquatic and Environmental Studies
- Advanced Topics in Algebra
- Approximation Theory and Sequence Spaces
- Advanced Topology and Set Theory
- Fusion and Plasma Physics Studies
- Material Science and Thermodynamics
- Geometric and Algebraic Topology
- Robotic Path Planning Algorithms
- Optics and Image Analysis
- Advanced Numerical Analysis Techniques
- Finite Group Theory Research
- Food Industry and Aquatic Biology
- Optimization and Variational Analysis
- Engineering Technology and Methodologies
- Mathematical Inequalities and Applications
- Mathematical and Theoretical Analysis
- Advanced Algebra and Geometry
- Matrix Theory and Algorithms
Sobolev Institute of Mathematics
2014-2024
Novosibirsk State University
2014-2024
Kazan Federal University
2024
Novosibirsk State Technical University
2020
National Academy of Sciences of the Republic of Kyrgyzstan
2019
We prove that the class K(σ) of all algebraic structures signature σ is Q-universal if and only there a K ⊆ such problem whether finite lattice embeds into K-quasivarieties undecidable.
The categorical dualities presented are: (first) for the category of bi-algebraic lattices that belong to variety generated by smallest non-modular lattice with complete (0,1)-lattice homomorphisms as morphisms, and (second) non-trivial (0,1)-lattices belonging same morphisms. Although two categories coincide on their finite objects, essentially differ mostly but not only fact duality second uses topology. Using some known in literature results we prove Q-lattice any is either a 2-element...
We find sufficient conditions guaranteeing that for a quasivariety [Formula: see text] of structures finite type containing text]-class with respect to text], there exists subquasivariety and structure such the problems whether lattice embeds into text]-varieties are undecidable.
We show that generalized sobrifications of approximation spaces are homeomorphic to special basic ideals the given spaces. Using this characterization, we generalize a series known results on