The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
From MaRDI portal
Publication:2550376
zbMath0231.02002MaRDI QIDQ2550376
Publication date: 1971
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory (03Cxx) Collections of translated articles of general interest (00B50)
Related Items
Definability of Boolean function classes by linear equations over \(\mathbf{GF}(2)\) ⋮ Mal'tsev products of varieties. I ⋮ Primitive recursive ordered fields and some applications ⋮ Algebraically closed and existentially closed abelian lattice-ordered groups ⋮ The data type variety of stack algebras ⋮ Leon Henkin and a Life of Service ⋮ Leon Henkin the Reviewer ⋮ Image of Soviet and Russian logic in the West. Latter Half of the XXth Century ⋮ Primitive recursive equivalence relations and their primitive recursive complexity ⋮ Applying, extending, and specializing pseudorecursiveness ⋮ On recursively enumerable structures ⋮ Semilattice sums of algebras and Mal'tsev products of varieties ⋮ Mal'tsev products of varieties. II. ⋮ Bisemilattices of subsemilattices ⋮ Straight-line program length as a parameter for complexity analysis ⋮ Singly generated quasivarieties and residuated structures ⋮ Andrzej Mostowski and the Notion of a Model ⋮ Existentially closed linear groups ⋮ Proving implications by algebraic approximation ⋮ Abstract commensurators of surface groups ⋮ Varieties of Birkhoff systems. II ⋮ The institution-theoretic scope of logic theorems ⋮ Algebraic and topological closure conditions for classes of pseudo-Boolean functions ⋮ Characterizing Mal'cev conditions ⋮ On Hierarchical Reasoning in Combinations of Theories ⋮ Representations versus numberings: On the relationship of two computability notions ⋮ Combination of constraint systems II: Rational amalgamation ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES ⋮ Joins and Maltsev products of congruence permutable varieties ⋮ Arithmetic lattices in unipotent algebraic groups ⋮ Subdirect decomposition of \(n\)-chromatic graphs ⋮ Retracts of numerations ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Unnamed Item
This page was built for publication: The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
