Unsolvable algorithmic problems for semigroups, groups and rings (Q1117039): Difference between revisions

@@ Property / author @@
-Leonid A. Bokut'
@@ Property / author: Leonid A. Bokut' / rank @@
-Normal rank
@@ Property / author @@
+Leonid A. Bokut'
@@ Property / author: Leonid A. Bokut' / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063646
@@ Property / cites work: Q4063646 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE WORD AND DIVISIBILITY PROBLEMS IN SEMIGROUPS WITH A SINGLE DEFINING RELATION
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of universal theories and existentially closed models
+Normal rank
@@ Property / cites work @@
+Subrings of finitely presented associative rings
@@ Property / cites work: Subrings of finitely presented associative rings / rank @@
+Normal rank
@@ Property / cites work @@
+Simple projecting maps
@@ Property / cites work: Simple projecting maps / rank @@
+Normal rank
@@ Property / cites work @@
+ON ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS
+Normal rank
@@ Property / cites work @@
+Groups with relative standard basis
@@ Property / cites work: Groups with relative standard basis / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability of some algebraic problems in the class of associative rings
+Normal rank
@@ Property / cites work @@
+Embeddings into simple associative algebras
@@ Property / cites work: Embeddings into simple associative algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Novikov's centrally symmetric group
@@ Property / cites work: Novikov's centrally symmetric group / rank @@
+Normal rank
@@ Property / cites work @@
+One theorem of G. Higman
@@ Property / cites work: One theorem of G. Higman / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041789
@@ Property / cites work: Q4041789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671387
@@ Property / cites work: Q3671387 / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem in a variety of groups containing N//2A
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for solvable groups
@@ Property / cites work: The isomorphism problem for solvable groups / rank @@
+Normal rank
@@ Property / cites work @@
+DECIDABILITY PROBLEMS OF EXTENDED THEORIES
@@ Property / cites work: DECIDABILITY PROBLEMS OF EXTENDED THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic problems for solvable Lie algebras
@@ Property / cites work: Algorithmic problems for solvable Lie algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Subalgebras of finitely defined Lie algebras
@@ Property / cites work: Subalgebras of finitely defined Lie algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3892426
@@ Property / cites work: Q3892426 / rank @@
+Normal rank
@@ Property / cites work @@
+The equality problem and free products of Lie algebras and of associative algebras
+Normal rank
@@ Property / cites work @@
+On the complexity of individual identity problems in semigroups
+Normal rank
@@ Property / cites work @@
+Q3267404
@@ Property / cites work: Q3267404 / rank @@
+Normal rank
@@ Property / cites work @@
+[Russian Text Ignored]
@@ Property / cites work: [Russian Text Ignored] / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728875
@@ Property / cites work: Q3728875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134590
@@ Property / cites work: Q4134590 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability of problems of equality and divisibility in certain varieties of semigroups
+Normal rank
@@ Property / cites work @@
+[Russian Text Ignored]
@@ Property / cites work: [Russian Text Ignored] / rank @@
+Normal rank
@@ Property / cites work @@
+Example of a finitely presented group in the variety \({\mathfrak A}^5\) with the unsolvable word problem
+Normal rank
@@ Property / cites work @@
+Some algorithmic problems for solvable groups
@@ Property / cites work: Some algorithmic problems for solvable groups / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
+Normal rank
@@ Property / cites work @@
+Q3788205
@@ Property / cites work: Q3788205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4193565
@@ Property / cites work: Q4193565 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability of the universal theory of finite groups
+Normal rank
@@ Property / cites work @@
+Q4750830
@@ Property / cites work: Q4750830 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of reduction algorithms in Novikov-Boone constructions
+Normal rank
@@ Property / cites work @@
+Q3944763
@@ Property / cites work: Q3944763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247176
@@ Property / cites work: Q3247176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519136
@@ Property / cites work: Q5519136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679146
@@ Property / cites work: Q3679146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682484
@@ Property / cites work: Q5682484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3889258
@@ Property / cites work: Q3889258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882632
@@ Property / cites work: Q3882632 / rank @@
+Normal rank
@@ Property / cites work @@
+Subgroups of finitely presented metabelian groups
@@ Property / cites work: Subgroups of finitely presented metabelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitely generated subgroups of finitely presented groups. I
+Normal rank
@@ Property / cites work @@
+Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II
+Normal rank
@@ Property / cites work @@
+The diamond lemma for ring theory
@@ Property / cites work: The diamond lemma for ring theory / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems and recursively enumerable degrees at unsolvability. A first paper on Thue systems
+Normal rank
@@ Property / cites work @@
+Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups
+Normal rank
@@ Property / cites work @@
+An analysis of Turing's ''The word problem in semi-groups with cancellation''
+Normal rank
@@ Property / cites work @@
+An algebraic characterization of groups with soluble word problem
+Normal rank
@@ Property / cites work @@
+On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church.
+Normal rank
@@ Property / cites work @@
+The word problem
@@ Property / cites work: The word problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957939
@@ Property / cites work: Q3957939 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely Presented Groups with Word Problems of Arbitrary Degrees of Insolubility
+Normal rank
@@ Property / cites work @@
+An Embedding Theorem for Finitely Generated Groups
+Normal rank
@@ Property / cites work @@
+Recursively enumerable degress and the conjugacy problem
+Normal rank
@@ Property / cites work @@
+Word and conjugacy problems in groups with only a few defining relations
+Normal rank
@@ Property / cites work @@
+On recognising properties of groups which have solvable word problem
+Normal rank
@@ Property / cites work @@
+Representation of Turing reducibility by word and conjugacy problems in finitely presented groups
+Normal rank
@@ Property / cites work @@
+An unsolvable problem concerning identities
@@ Property / cites work: An unsolvable problem concerning identities / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems
@@ Property / cites work: Word problems / rank @@
+Normal rank
@@ Property / cites work @@
+Halteprobleme von Fang-Systemen (tag systems)
@@ Property / cites work: Halteprobleme von Fang-Systemen (tag systems) / rank @@
+Normal rank
@@ Property / cites work @@
+Dehn's algorithm for the word problem
@@ Property / cites work: Dehn's algorithm for the word problem / rank @@
+Normal rank
@@ Property / cites work @@
+On Dehn's algorithms for the conjugacy and word problems, with applications
+Normal rank
@@ Property / cites work @@
+Some general algorithms. I: Arithmetic groups
@@ Property / cites work: Some general algorithms. I: Arithmetic groups / rank @@
+Normal rank
@@ Property / cites work @@
+Subgroups of finitely presented groups
@@ Property / cites work: Subgroups of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+SOME REMARKS ON VARIETIES OF GROUPS
@@ Property / cites work: SOME REMARKS ON VARIETIES OF GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Theorems for Groups
@@ Property / cites work: Embedding Theorems for Groups / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem for one-relator semigroups
@@ Property / cites work: The word problem for one-relator semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial systems with axiom
@@ Property / cites work: Combinatorial systems with axiom / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial systems defined over one- and two-letter alphabets
+Normal rank
@@ Property / cites work @@
+A NOTE ON THE WORD PROBLEM FOR GROUPS
@@ Property / cites work: A NOTE ON THE WORD PROBLEM FOR GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Fine Degrees of Word Problems of Cancellation Semigroups
+Normal rank
@@ Property / cites work @@
+Decision Problems in Group Theory
@@ Property / cites work: Decision Problems in Group Theory / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+An unsolvable problem with products of matrices
@@ Property / cites work: An unsolvable problem with products of matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems in classes of group presentations with uniformly solvable word problem
+Normal rank
@@ Property / cites work @@
+Markov-Type Properties
@@ Property / cites work: Markov-Type Properties / rank @@
+Normal rank
@@ Property / cites work @@
+On Dehn's algorithm
@@ Property / cites work: On Dehn's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+On algebraically closed groups
@@ Property / cites work: On algebraically closed groups / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem for division rings
@@ Property / cites work: The word problem for division rings / rank @@
+Normal rank
@@ Property / cites work @@
+Das Identitätsproblem für Gruppen mit einer definierenden Relation
+Normal rank
@@ Property / cites work @@
+Q5513066
@@ Property / cites work: Q5513066 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvable Problems in Groups With Solvable Word Problem
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q5686028
@@ Property / cites work: Q5686028 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of groups
@@ Property / cites work: Varieties of groups / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+A note on Post's correspondence problem
@@ Property / cites work: A note on Post's correspondence problem / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of group theoretic problems
+Normal rank
@@ Property / cites work @@
+Words in the History of a Turing Machine with a Fixed Input
+Normal rank
@@ Property / cites work @@
+Another Characterization of Finitely Generated Groups with a Solvable Word Problem
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Undecidable Problems in Group Theory
@@ Property / cites work: Some Undecidable Problems in Group Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Boone-Higman theorem and the conjugacy problem
+Normal rank
@@ Property / cites work @@
+On Dehn's algorithm and the conjugacy problem
@@ Property / cites work: On Dehn's algorithm and the conjugacy problem / rank @@
+Normal rank
@@ Property / cites work @@
+On the conjugacy problem for certain quotient groups of free products
+Normal rank
@@ Property / cites work @@
+Embeddings into Simple Groups
@@ Property / cites work: Embeddings into Simple Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Configuration and Word Problems of Given Degree of Unsolvability
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem and the isomorphism problem for groups
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
+Normal rank
@@ Property / cites work @@
+The word problem in semi-groups with cancellation
@@ Property / cites work: The word problem in semi-groups with cancellation / rank @@
+Normal rank
@@ Property / cites work @@
+Gruppen mit vorgeschriebenem Wortproblem
@@ Property / cites work: Gruppen mit vorgeschriebenem Wortproblem / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1117039