Embedding relations in the lattice of recursively enumerable sets.
Page 1
Displaying 1 – 5 of 5
Entscheidungsprobleme der Theorie zweier Äquivalenzrelationen mit beschränkter Zahl vоn Elementen in den Klassen
Kurt Hauschild, Wolfgang Rautenberg (1973)
Fundamenta Mathematicae
Errata to the paper "Remarks of the elementary theories of formal and convergent power series" Fundamenta Mathematicae 105 (1980), pp. 229-239
Joseph Becker, Leonard Lipshitz (1981)
Fundamenta Mathematicae
E-unification by means of tree tuple synchronized grammars.
Limet, Sébastien, Réty, Pierre (1997)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Extensions of Büchi's problem: Questions of decidability for addition and kth powers
Thanases Pheidas, Xavier Vidaux (2005)
Fundamenta Mathematicae
We generalize a question of Büchi: Let R be an integral domain, C a subring and k ≥ 2 an integer. Is there an algorithm to decide the solvability in R of any given system of polynomial equations, each of which is linear in the kth powers of the unknowns, with coefficients in C? We state a number-theoretical problem, depending on k, a positive answer to which would imply a negative answer to the question for R = C = ℤ. We reduce a negative answer for k = 2 and for...
Currently displaying 1 – 5 of 5
Page 1