Sixteen papers on logic and algebra / Series 2, volume 94
by V. A. Baranskii [and others].
- 1 online resource (1 online resource (iv, 276 pages).)
- American Mathematical Society Translations: Series 2, .
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
9781470433055 (online)
Logic, Symbolic and mathematicalAlgebra
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
9781470433055 (online)
Logic, Symbolic and mathematicalAlgebra