scientific article; zbMATH DE number 3353345

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

equational classes ultraproducts first order language reduced products quasi-equational classes second order language

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Equational logic, Mal'tsev conditions (08B05) Structure theory of algebraic structures (08A05) Equational classes, universal algebra in model theory (03C05) Ultraproducts and related constructions (03C20) Basic properties of first-order languages and structures (03C07) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items

Extensions of Algebraic Systems ⋮ Compactness conditions in universal algebraic geometry ⋮ Layers over minimal logic ⋮ Implantation of cellular automata ⋮ Logical and set calculations in the framework of geometrical informatics paradigm ⋮ Algebraic interpretation of a microprogram finite-state machine with datapath of transitions ⋮ On maximal subgroups of the group of recursive permutations ⋮ A criterion for σ-locality of a non-empty formation ⋮ Rectifiable spaces ⋮ On finite and locally finite subgroups of free Burnside groups of large even exponents ⋮ Levi classes of quasivarieties of nilpotent groups of exponent \(p^s\) ⋮ On the word problem in the free quasigroups in the varieties of quasigroups isotopic to groups ⋮ Computably separable models ⋮ On algebras of the variety \(\mathcal B^1_1\) ⋮ The projective Beth property in well-composed logics ⋮ On Mal'cev's multiplication of antivarieties of algebraic systems ⋮ Recognizable logics ⋮ Pseudocomplements in the lattice of subvarieties of a variety of multiplicatively idempotent semirings ⋮ On finite Sylow tower and σ-tower groups ⋮ On properties of the lattice of all τ -closed n -multiply σ -local formations ⋮ Conditions of modularity of the congruence lattice of an act over a rectangular band ⋮ Computability and universal determinability of negatively representable models ⋮ Separable algorithmic representations of classical systems and their applications ⋮ Axiomatizability of the class of subdirectly irreducible \(S\)-acts over a commutative monoid ⋮ A new approach to mathematical statistics involving the number of degrees of freedom, temperature, and symplectically conjugate quantities ⋮ Primitive normality and primitive connectedness of the class of injective \(S\)-acts ⋮ Automorphisms of some magmas of order \(k+k^2\) ⋮ Rearrangements of the Haar system in \(L_ p-\)spaces ⋮ Loewenheim-Skolem problem for functors ⋮ An analog of the Valiron-Goldberg theorem under a restriction condition on the averaged counting function of zeros ⋮ Semigroups of endotopisms of the efficient connected relations ⋮ Dominions of universal algebras and projective properties ⋮ On the intersection of all maximal \(\mathcal F\)-subgroups of a finite group. ⋮ Subsystems and Automorphisms of Some Finite Magmas of Order k + k2 ⋮ Monoid varieties with extreme properties ⋮ FRACTAL MAGMAS AND PUBLIC-KEY CRYPTOGRAPHY ⋮ On some factorizations of semi-metric cones and quality estimates of heuristic metrics in data analysis problems ⋮ Once more on the lattice of subvarieties of the wreath product of the variety of semilattices and the variety of semigroups with zero multiplication ⋮ Constants of partial derivations and primitive operations ⋮ Independent axiomatizability of quasivarieties of torsion-free nilpotent groups ⋮ On the implication of properties of related systems: a method for obtaining implication conditions and application examples ⋮ Group structures on quotient sets in classification problems ⋮ 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 ⋮ Dominions in solvable groups. ⋮ Multiplicatively idempotent semirings. ⋮ Математические основы научной метафизики ⋮ Problems of constructing intelligent systems. Intelligent modeling ⋮ Necessary conditions of applicability of Gaussian elimination to systems of equations over quasigroups ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Absolutely closed groups in the class of 2-step nilpotent torsion-free groups. ⋮ The finite embeddability property for IP loops and local embeddability of groups into finite IP loops ⋮ \( \omega \)-independent bases for quasivarietes of torsion-free groups ⋮ Перспективы метаматематических структур в науке ⋮ Structures of degrees of negative representations of linear orders ⋮ Locally Finite Ring Varieties ⋮ Finite groups with only \({\mathfrak{F}}\)-normal and \({\mathfrak{F}}\)-abnormal subgroups ⋮ Existence of independent quasi-equational bases ⋮ Polytopes of partitions of numbers ⋮ On \({\Sigma}_t^{\sigma }\)-closed classes of finite groups ⋮ On the unconditional convergence of orthogonal series ⋮ On the \(\mathfrak{F} \)-norm of a finite group ⋮ Absolute closedness of torsion-free abelian groups in the class of metabelian groups. ⋮ Quasivariety lattices of pointed abelian groups. ⋮ Finite groups with K--subnormal Schmidt subgroups ⋮ The reduction method. I: ⋮ On finite \(\sigma \)-tower groups ⋮ Representation of a gauge field via intrinsic ``BRST operator