TY  - DATA
AU  - Baranskii, V. A.,
TI  - Sixteen papers on logic and algebra
T2  - American Mathematical Society Translations: Series 2, 
SN  - 9781470433055 (online)
KW  - Logic, Symbolic and mathematicalAlgebra
N1  - Includes bibliographical references; Some questions in the theory of algorithms /;   A new algorithm for derivability in the constructive propositional calculus /;   An associative calculus with an unsolvable problem of equivalence /;   On the semantics of the theory of types /;   On Horn formulas /;   Generalized quasi-universal classes of models /;   Some remarks on ultraproducts /;   Conditions of decomposability of relations into direct products /;   Partial universal algebras with prescribed lattices of subalgebras and correspondences /;   On a class of mixed abelian groups with primary periodic part /;   Completeness of holomorphs of abelian groups with automorphism 2 /;   An abstract characterization of the class of semigroups of endomorphisms of systems of general type /;   Strong bands of semigroups /;   On lattice isomorphisms of commutative holoid semigroups /;   Lattice isomorphisms of semigroups decomposable into free products /;   On potential invertibility of elements of semigroups; E. S. Orlovskii; N. N. Vorobev; G. S. Ceitin; S. R. Kogalovskii; A. D. Taimanov; S. R. Kogalovskii; S. R. Kogalovskii; M. A. Spivak; A. A. Iskander; V. I. Myskin; I. H. Bekker; E. S. Ljapin; L. N. Sevrin; L. N. Sevrin; L. N. Sevrin and V. A. Baranskii; E. G. Sutov
UR  - http://www.ams.org/trans2/094
ER  -