scientific article; zbMATH DE number 3353345
From MaRDI portal
Publication:5628181
equational classesfirst order languagequasi-equational classesreduced productssecond order languageultraproducts
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07) Ultraproducts and related constructions (03C20) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Structure theory of algebraic structures (08A05) Equational logic, Mal'tsev conditions (08B05)
Cited in
(96)- On the unconditional convergence of orthogonal series
- Rearrangements of the Haar system in \(L_ p-\)spaces
- Loewenheim-Skolem problem for functors
- On finite and locally finite subgroups of free Burnside groups of large even exponents
- Finite-dimensional algebras and standard systems.
- Automorphisms of some magmas of order k+k^2
- Semigroups of endotopisms of the efficient connected relations
- Equational fragments of systems for arithmetic.
- Rectifiable spaces
- Once more on the lattice of subvarieties of the wreath product of the variety of semilattices and the variety of semigroups with zero multiplication
- On the implication of properties of related systems: a method for obtaining implication conditions and application examples
- Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits
- Structure of quasivariety lattices. I: Independent axiomatizability
- A combinatorial classification of finite quasigroups
- Structure of quasivariety lattices. II: Undecidable problems
- The interpolation problem in finite-layered pre-Heyting logics
- Finite generalized soluble groups
- Subnormality and residuals for saturated formations: a generalization of Schenkman's theorem
- Problems of constructing intelligent systems. Intelligent modeling
- Structures of degrees of negative representations of linear orders
- On the \(\mathfrak{F} \)-norm of a finite group
- On finite \(\sigma \)-tower groups
- Levi classes of quasivarieties of nilpotent groups of exponent \(p^s\)
- Computably separable models
- Primitive normality and primitive connectedness of the class of injective \(S\)-acts
- On some factorizations of semi-metric cones and quality estimates of heuristic metrics in data analysis problems
- Independent axiomatizability of quasivarieties of torsion-free nilpotent groups
- Group structures on quotient sets in classification problems
- Necessary conditions of applicability of Gaussian elimination to systems of equations over quasigroups
- \( \omega \)-independent bases for quasivarietes of torsion-free groups
- Finite groups with only \({\mathfrak{F}}\)-normal and \({\mathfrak{F}}\)-abnormal subgroups
- On \({\Sigma}_t^{\sigma }\)-closed classes of finite groups
- Absolute closedness of torsion-free abelian groups in the class of metabelian groups.
- Quasivariety lattices of pointed abelian groups.
- Representation of a gauge field via intrinsic ``BRST operator
- Compactness conditions in universal algebraic geometry
- Layers over minimal logic
- Implantation of cellular automata
- On the word problem in the free quasigroups in the varieties of quasigroups isotopic to groups
- On algebras of the variety \(\mathcal B^1_1\)
- On Mal'cev's multiplication of antivarieties of algebraic systems
- Pseudocomplements in the lattice of subvarieties of a variety of multiplicatively idempotent semirings
- A new approach to mathematical statistics involving the number of degrees of freedom, temperature, and symplectically conjugate quantities
- Multiplicatively idempotent semirings.
- Polytopes of partitions of numbers
- The reduction method. I:
- Computability and universal determinability of negatively representable models
- Logical and set calculations in the framework of geometrical informatics paradigm
- Algebraic interpretation of a microprogram finite-state machine with datapath of transitions
- Extensions of Algebraic Systems
- On maximal subgroups of the group of recursive permutations
- Dominions of universal algebras and projective properties
- The projective Beth property in well-composed logics
- scientific article; zbMATH DE number 193341 (Why is no real title available?)
- Locally Finite Ring Varieties
- Monoid varieties with extreme properties
- Mathematical foundations of metaphysics
- A criterion for \(\sigma\)-locality of a non-empty formation
- Conditions of modularity of the congruence lattice of an act over a rectangular band
- Subsystems and automorphisms of some finite magmas of order \(k+k^2\)
- Fractal magmas and public-key cryptography
- Decidability of some interpolation properties for weakly transitive modal logics
- The finite embeddability property for IP loops and local embeddability of groups into finite IP loops
- Перспективы метаматематических структур в науке
- Finite groups with K--subnormal Schmidt subgroups
- An analog of the Valiron-Goldberg theorem under a restriction condition on the averaged counting function of zeros
- Dominions in solvable groups.
- On finite Sylow tower and σ-tower groups
- On properties of the lattice of all τ -closed n -multiply σ -local formations
- Separable algorithmic representations of classical systems and their applications
- Axiomatizability of the class of subdirectly irreducible S-acts over a commutative monoid
- On the problem of abstract characterization of universal graphic automata
- On the intersection of all maximal \(\mathcal F\)-subgroups of a finite group.
- Logical specifications of effectively separable data models
- Computably separable numbering of locally finitely separable algebras
- Special cases of the interpolation theorem for classical predicate calculus
- Constants of partial derivations and primitive operations
- Finite logical specifications of effectively separable data models
- Inductivity of the lattice of -local Fitting classes
- Free universal algebras with separately continuous operations
- The Gelfand-Kirillov conjecture as a first-order formula
- Augmented polynomial matrices and algebraization of switching circuits
- Unoids with finiteness conditions over computably separable equivalences
- Ternary Kulakov algebras with an elementary identity
- Nonassociative van der Waerden rings
- Integral classification of endomorphisms of an arbitrary algebra with finitary operations
- Existence of independent quasi-equational bases. II
- Levi classes of quasivarieties of nilpotent groups of class at most two
- Properties of semigroups of elementary types of model classes
- The representation theorem of the Robinson hybrid
- Criterion for a formula-definable quasivariety
- Relatively elementary definability of the class of universal partial graphic semiautomata over nontrivial reflexive graphs in the class of semigroups
- Polyadic T-quasigroups
- Absolutely closed groups in the class of 2-step nilpotent torsion-free groups.
- Existence of independent quasi-equational bases
- Recognizable logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5628181)
