scientific article; zbMATH DE number 3316928
From MaRDI portal
zbMath0199.03001MaRDI QIDQ5596785
A. D. Taĭmanov, I. A. Lavrov, Michael A. Taitslin, Yuri L. Ershov
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Functional equations for the functions of real variables, Unnamed Item, Succinct definitions in the first order theory of graphs, Nonconvergence, undecidability, and intractability in asymptotic problems, The Härtig quantifier: a survey, The undecidability of the lattice of r. e. closed subsets of an effective topological space, On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups, On quasi-identities of relation algebras with Diophantine operations, Algorithmic problems and hierarchies of first-order languages, Median Algebra, Sheaf Constructions and Their Elementary Properties, Modal definability: two commuting equivalence relations, A note on definability in fragments of arithmetic with free unary predicates, Algorithmic uses of the Feferman-Vaught theorem, THE RECOGNITION COMPLEXITY OF DECIDABLE THEORIES, Prevarieties of associative rings whose elementary theory is decidable, On the effective universality of mereological theories, Elementary invariants for quantified probability logic, The Shrinking Property for NP and coNP, The shrinking property for NP and coNP, Tarski-type problems for free associative algebras, Undecidability of the theory of projective planes, Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs, Well-Quasi Orders and Hierarchy Theory, Elementary theories and hereditary undecidability for semilattices of numberings, An improved lower bound for the elementary theories of trees, Mal'cev's correspondence and unsolvability, The Undecidability of Theories of Groupoids with an Extra Predicate, Further Generalizations of Results on Structures of Continuous Functions, Critical theories of certain nonassociative rings, Degree spectra of structures, A.D. Taimanov and model theory in Kazakhstan, Nonassociative rings with a single defining relation whose elementary theories are decidable, Decidability results for metric and layered temporal logics, The undecidability of the elementary theory of lattices of all equational theories of large signature, Expanded elementary and universal theories of lattice-ordered Abelian groups with a finite number of fibres, Undecidability of the elementary theory of groups of measure-preserving transformations, A correspondence between commutative rings and Jordan loops, On the theories of free solvable groups, The Undecidability of Theories of Groupoids with an Extra Predicate, Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties, A prevariety of semigroups whose elementary theory is solvable, Critical theories of varieties of nilpotent rings, Automata techniques for query inference machines, Finite queries do not have effective syntax., Strong reducibilities, Undecidability of some elementary theories over PAC fields
