Publication:5628181
From MaRDI portal
zbMath0223.08001MaRDI QIDQ5628181
Publication date: 1970
equational classes; ultraproducts; first order language; reduced products; quasi-equational classes; second order language
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
08B05: Equational logic, Mal'tsev conditions
08A05: Structure theory of algebraic structures
03C05: Equational classes, universal algebra in model theory
03C20: Ultraproducts and related constructions
03C07: Basic properties of first-order languages and structures
08-02: Research exposition (monographs, survey articles) pertaining to general algebraic systems
Related Items
Monoid varieties with extreme properties, Математические основы научной метафизики, Conditions of modularity of the congruence lattice of an act over a rectangular band, 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, Перспективы метаматематических структур в науке, An analog of the Valiron-Goldberg theorem under a restriction condition on the averaged counting function of zeros, Dominions in solvable groups., 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, The projective Beth property in well-composed logics, On the intersection of all maximal \(\mathcal F\)-subgroups of a finite group., Constants of partial derivations and primitive operations, Absolutely closed groups in the class of 2-step nilpotent torsion-free groups., Existence of independent quasi-equational bases, Recognizable logics, 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, Automorphisms of some magmas of order \(k+k^2\), Semigroups of endotopisms of the efficient connected relations, 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, 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, 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:, Extensions of Algebraic Systems, Dominions of universal algebras and projective properties, Locally Finite Ring Varieties
