{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T09:31:18Z","timestamp":1777541478800,"version":"3.51.4"},"reference-count":235,"publisher":"Elsevier","isbn-type":[{"value":"9780444898821","type":"print"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s0049-237x(99)80028-7","type":"book-chapter","created":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T16:52:47Z","timestamp":1189183967000},"page":"363-447","source":"Crossref","is-referenced-by-count":34,"title":["Computable Rings and Fields"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S0049-237X(99)80028-7_bib1","author":"Abel","year":"1824"},{"key":"10.1016\/S0049-237X(99)80028-7_bib2","first-page":"28","article-title":"M\u00e9moire sur les \u00e9quationes r\u00e9solubles alg\u00e9briques, ou l'on d\u00e9montre l'impossibilit\u00e9 de la r\u00e9solution de l'\u00e9quation g\u00e9n\u00e9rale du cinqui\u00e8me degr\u00e9","author":"Abel","year":"1881"},{"key":"10.1016\/S0049-237X(99)80028-7_bib3","author":"Aberth","year":"1980"},{"key":"10.1016\/S0049-237X(99)80028-7_bib4","volume":"3","author":"Adams","year":"1994","journal-title":"An Introduction to Gr\u00f6bner Bases"},{"key":"10.1016\/S0049-237X(99)80028-7_bib5","unstructured":"S. I. ADIAN, W. W. BOONE AND G. HIGMAN (EDS.) [1980] Word Problems II, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0003-4843(73)90005-3","article-title":"Computability of Boolean algebras and their extensions","volume":"6","author":"Alton","year":"1973","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF02952512","article-title":"Algebraischen Konstruktion reeler K\u00f6rper","volume":"5","author":"Artin","year":"1927","journal-title":"Abh. Math. Sem. Univ. Hamburg"},{"key":"10.1016\/S0049-237X(99)80028-7_bib8","doi-asserted-by":"crossref","first-page":"1137","DOI":"10.2307\/2274266","article-title":"Decidable subspaces and recursively enumerable subspaces","volume":"49","author":"Ash","year":"1984","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib9","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF00264163","article-title":"Complexity theory and the operational structure of algebraic programming systems","volume":"17","author":"Asveld","year":"1982","journal-title":"Acta Inform"},{"key":"10.1016\/S0049-237X(99)80028-7_bib10","author":"Atiyah","year":"1969"},{"key":"10.1016\/S0049-237X(99)80028-7_bib11","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00263767","article-title":"Subrekursive Komplexit\u00e4t bei Gruppen, I. Gruppen mit vorgeschriebener Komplexit\u00e4t","volume":"9","author":"Avenhaus","year":"1977","journal-title":"Acta Inform"},{"key":"10.1016\/S0049-237X(99)80028-7_bib12","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF00289077","article-title":"Subrekursive Komplexit\u00e4t bei Gruppen, II. Der Einbettungssatz von Higman f\u00fcr entscheidbare Gruppen","volume":"9","author":"Avenhaus","year":"1978","journal-title":"Acta Inform"},{"key":"10.1016\/S0049-237X(99)80028-7_bib13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0304-3975(84)90024-0","article-title":"The Nielsen reduction and P-complete problems in free groups","volume":"32","author":"Avenhaus","year":"1984","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S0049-237X(99)80028-7_bib14","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0304-3975(84)90046-X","article-title":"On the complexity of intersection and conjugacy problems in free groups","volume":"32","author":"Avenhaus","year":"1984","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S0049-237X(99)80028-7_bib15","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1016\/0022-314X(83)90021-5","article-title":"On constructing bases for ideals in polynomial rings over the integers","volume":"17","author":"Ayoub","year":"1983","journal-title":"J. Number Theory"},{"key":"10.1016\/S0049-237X(99)80028-7_bib16","author":"Babbage","year":"1989"},{"key":"10.1016\/S0049-237X(99)80028-7_bib17","author":"Barwise","year":"1975"},{"key":"10.1016\/S0049-237X(99)80028-7_bib18","unstructured":"K. J. BARWlSE [1977] (ed.) Handbook of Mathematical Logic, Studies in Logic, Vol. 90, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib19","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/0021-8693(81)90138-1","article-title":"Computable algebra and group embeddings","volume":"69","author":"Baumslag","year":"1981","journal-title":"J. Algebra"},{"key":"10.1016\/S0049-237X(99)80028-7_bib20","author":"Baumslag","year":"1992"},{"key":"10.1016\/S0049-237X(99)80028-7_bib21","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1002\/malq.19740200105","article-title":"Rekursive Algebren mit Kettenbedingungen","volume":"20","author":"Baur","year":"1974","journal-title":"Zeits. Math. Logik Grundl. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib22","author":"Becker","year":"1993"},{"key":"10.1016\/S0049-237X(99)80028-7_bib23","author":"Beeson","year":"1985"},{"key":"10.1016\/S0049-237X(99)80028-7_bib24","first-page":"76","article-title":"A characterisation of computable data types by means of a finite equational specification method","volume":"81","author":"Bergstra","year":"1980"},{"key":"10.1016\/S0049-237X(99)80028-7_bib25","first-page":"23","article-title":"A natural data type with a finite equational final semantics specification, but no effective equational initial specification","volume":"11","author":"Bergstra","year":"1980","journal-title":"Bulletin of the EATCS"},{"key":"10.1016\/S0049-237X(99)80028-7_bib26","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/S0019-9958(82)80021-1","article-title":"The completeness of the algebraic specification methods for data types","volume":"54","author":"Bergstra","year":"1982","journal-title":"Inform. and Control"},{"key":"10.1016\/S0049-237X(99)80028-7_bib27","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1137\/0212024","article-title":"Initial and final algebra semantics for data type specifications: two characterisation theorems","volume":"12","author":"Bergstra","year":"1983","journal-title":"SIAM J. Comput"},{"key":"10.1016\/S0049-237X(99)80028-7_bib28","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0304-3975(87)90123-X","article-title":"Algebraic specifications of computable and semicomputable data types","volume":"50","author":"Bergstra","year":"1987","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S0049-237X(99)80028-7_bib29","first-page":"89","article-title":"Equational specifications for computable data types: 6 hidden functions suffice and other sufficiency bounds","author":"Bergstra","year":"1993"},{"key":"10.1016\/S0049-237X(99)80028-7_bib30","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0168-0072(94)00038-5","article-title":"The data type variety of stack algebras","volume":"73","author":"Bergstra","year":"1995","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib31","doi-asserted-by":"crossref","first-page":"1194","DOI":"10.1145\/227683.227687","article-title":"Equational specifications, complete term rewriting systems, and computable and semicom-putable algebras","volume":"42","author":"Bergstra","year":"1995","journal-title":"J. ACM"},{"key":"10.1016\/S0049-237X(99)80028-7_bib32","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0168-0072(96)00017-6","article-title":"Domain representability of metric spaces","volume":"83","author":"Blanck","year":"1996","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib33","author":"Blum","year":"1998"},{"key":"10.1016\/S0049-237X(99)80028-7_bib34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","article-title":"On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions, and universal machines","volume":"21","author":"Blum","year":"1989","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib35","doi-asserted-by":"crossref","first-page":"207","DOI":"10.2307\/1970103","article-title":"The word problem","volume":"70","author":"Boone","year":"1959","journal-title":"Ann. of Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib36","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/1970530","article-title":"Word problems and recursively enumerable degrees of unsolvability, A sequel on finitely presented groups","volume":"84","author":"Boone","year":"1966","journal-title":"Ann. of Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib37","doi-asserted-by":"crossref","first-page":"389","DOI":"10.2307\/1970762","article-title":"Word problems and recursively enumerable degrees of unsolvability. An emendation","volume":"94","author":"Boone","year":"1971","journal-title":"Ann. of Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib38","unstructured":"W. W. BOONE, F. B. CANNONITO AND R. C. LYNDON (EDS.) [1973] Word Problems, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib39","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1017\/S1446788700019108","article-title":"Algebraic characterization of the solvability of the word problem","volume":"18","author":"Boone","year":"1974","journal-title":"J. Austral. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib40","author":"Bourbaki","year":"1961"},{"key":"10.1016\/S0049-237X(99)80028-7_bib41","volume":"97","author":"Bridges","year":"1987"},{"key":"10.1016\/S0049-237X(99)80028-7_bib42","author":"Burris","year":"1981"},{"key":"10.1016\/S0049-237X(99)80028-7_bib43","doi-asserted-by":"crossref","first-page":"376","DOI":"10.2307\/2270453","article-title":"Hierarchies of computable groups and the word problem","volume":"31","author":"Cannonito","year":"1966","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib44","doi-asserted-by":"crossref","unstructured":"F. B. CANNONITO [1973] The algebraic invariance of the word problem in groups, in: Word Problems, W. W. Boone, E B. Cannonito and R. C. Lyndon, eds., Studies in Logic, Vol. 71, North-Holland, Amsterdam, pp. 349-364.","DOI":"10.1016\/S0049-237X(08)71907-4"},{"key":"10.1016\/S0049-237X(99)80028-7_bib45","doi-asserted-by":"crossref","unstructured":"F. B. CANNONITO AND R. W. GATTERDAM [1973] The computability of group constructions, part I, in: Word Problems, W. W. Boone, F. B. Cannonito and R. C. Lyndon, eds., Studies in Logic, Vol. 71, North-Holland, Amsterdam, pp. 365-400.","DOI":"10.1016\/S0049-237X(08)71908-6"},{"key":"10.1016\/S0049-237X(99)80028-7_bib46","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0168-0072(91)90008-A","article-title":"Polynomial time versus recursive models","volume":"54","author":"Cenzer","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib47","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0168-0072(92)90076-C","article-title":"Polynomial time abelian groups","volume":"56","author":"Cenzer","year":"1992","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib48","author":"Chandler","year":"1982"},{"key":"10.1016\/S0049-237X(99)80028-7_bib49","author":"Chevalley","year":"1946"},{"key":"10.1016\/S0049-237X(99)80028-7_bib50","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1112\/plms\/s3-14.4.633","article-title":"Finitely presented groups with word problems of arbitrary degrees of insolubility","volume":"14","author":"Clapham","year":"1964","journal-title":"Proc. London Math. Soc. (3)"},{"key":"10.1016\/S0049-237X(99)80028-7_bib51","volume":"Vol. 2","author":"Cohn","year":"1977"},{"key":"10.1016\/S0049-237X(99)80028-7_bib52","author":"Cohn","year":"1981"},{"key":"10.1016\/S0049-237X(99)80028-7_bib53","doi-asserted-by":"crossref","first-page":"392","DOI":"10.2307\/1970763","article-title":"Truth table degrees and the Boone groups","volume":"94","author":"Collins","year":"1971","journal-title":"Ann. of Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib54","author":"Cutland","year":"1980"},{"key":"10.1016\/S0049-237X(99)80028-7_bib55","doi-asserted-by":"crossref","unstructured":"M. DAVIS [1977] Unsolvable problems, in: Handbook of Mathematical Logic, K. J. Barwise, ed., Studies in Logic, Vol. 90, North-Holland, Amsterdam, pp. 567-594.","DOI":"10.1016\/S0049-237X(08)71115-7"},{"key":"10.1016\/S0049-237X(99)80028-7_bib56","first-page":"1963","author":"Dedekind","year":"1888"},{"key":"10.1016\/S0049-237X(99)80028-7_bib57","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF01455155","article-title":"\u00dcber die Topologie des dreidimensionalen Raumes","volume":"69","author":"Dehn","year":"1910","journal-title":"Math. Ann"},{"key":"10.1016\/S0049-237X(99)80028-7_bib58","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/BF01456932","article-title":"\u00dcber unendliche diskontinuerliche Gruppen","volume":"71","author":"Dehn","year":"1911","journal-title":"Math. Ann"},{"key":"10.1016\/S0049-237X(99)80028-7_bib59","author":"Dehn","year":"1987"},{"key":"10.1016\/S0049-237X(99)80028-7_bib60","first-page":"208","article-title":"Constructivizable abelian groups","volume":"22","author":"Dobrica","year":"1981","journal-title":"Sibirsk. Mat. Zh"},{"key":"10.1016\/S0049-237X(99)80028-7_bib61","first-page":"1260","article-title":"Constructive periodic abelian groups","volume":"19","author":"Dobrica","year":"1978","journal-title":"Sibirsk. Mat. Zh"},{"key":"10.1016\/S0049-237X(99)80028-7_bib62","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/0196-6774(85)90031-8","article-title":"The complexity of Dehn's algorithm for word problems in groups","volume":"6","author":"Domanski","year":"1985","journal-title":"J. Algorithms"},{"key":"10.1016\/S0049-237X(99)80028-7_bib63","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01443322","article-title":"Gruppentheoretische Studien","volume":"20","author":"Dyck","year":"1882","journal-title":"Math. Ann"},{"key":"10.1016\/S0049-237X(99)80028-7_bib64","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0304-3975(95)00050-7","article-title":"Domain theory and integration","volume":"151","author":"Edalat","year":"1995","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S0049-237X(99)80028-7_bib65","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1006\/inco.1995.1096","article-title":"Dynamical systems, measures and fractals via domain theory","volume":"120","author":"Edalat","year":"1995","journal-title":"Inform. and Comput"},{"key":"10.1016\/S0049-237X(99)80028-7_bib66","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2307\/421098","article-title":"Domains for computation in mathematics, physics and exact real arithmetic","volume":"3","author":"Edalat","year":"1997","journal-title":"Bull. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib67","volume":"101","author":"Edwards","year":"1984"},{"key":"10.1016\/S0049-237X(99)80028-7_bib68","doi-asserted-by":"crossref","unstructured":"H. B. ENDERTON [1977] Elements ofrecursion theory, in: Handbook of Mathematical Logic, K. J. Barwise, ed., Studies in Logic, Vol. 90, North-Holland, Amsterdam, pp. 527-566.","DOI":"10.1016\/S0049-237X(08)71114-5"},{"key":"10.1016\/S0049-237X(99)80028-7_bib69","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19730191901","article-title":"Theorie der Numerierungen I","volume":"19","author":"Ershov","year":"1973","journal-title":"Zeits. Math. Logik Grundl. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib70","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/malq.19750210164","article-title":"Theorie der Numerierungen II","volume":"21","author":"Ershov","year":"1975","journal-title":"Zeits. Math. Logik Grundl. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib71","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19770231902","article-title":"Theorie der Numerierungen III","volume":"23","author":"Ershov","year":"1977","journal-title":"Zeits. Math. Logik Grundl. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib72","author":"Ershov","year":"1977"},{"key":"10.1016\/S0049-237X(99)80028-7_bib73","first-page":"81","article-title":"Countability of widths of algebraic reducibility structures for models in some classes","volume":"3","author":"Fedoryaev","year":"1993","journal-title":"Siberian Adv. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib74","first-page":"117","article-title":"Impredicativity of the existence of the largest divisible sub-group of an abelian p-group","volume":"498","author":"Feferman","year":"1975"},{"key":"10.1016\/S0049-237X(99)80028-7_bib75","author":"Fenstad","year":"1980"},{"key":"10.1016\/S0049-237X(99)80028-7_bib76","first-page":"1733","article-title":"Degrees of unsolvability of identity in finitely presented groups","volume":"3","author":"Fridman","year":"1962","journal-title":"Soviet Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib77","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF01180640","article-title":"On the factorization of polynomials in a finite number of steps","volume":"62","author":"Fr\u00f6hlich","year":"1955","journal-title":"Math. Z"},{"key":"10.1016\/S0049-237X(99)80028-7_bib78","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1098\/rsta.1956.0003","article-title":"Effective procedures in field theory","volume":"248","author":"Fr\u00f6hlich","year":"1956","journal-title":"Philos. Trans. Royal Soc. London Ser. A"},{"key":"10.1016\/S0049-237X(99)80028-7_bib79","first-page":"381","article-title":"M\u00e9moire sur les conditions de r\u00e9solubilit\u00e9 des \u00e9quations par radicaux (dated 6 January 1831, edited by J. Liouville)","volume":"11","author":"Galois","year":"1846","journal-title":"Journal de Math\u00e9matiques"},{"key":"10.1016\/S0049-237X(99)80028-7_bib80","first-page":"55","article-title":"The confluence of ideas in 1936","author":"Gandy","year":"1988"},{"key":"10.1016\/S0049-237X(99)80028-7_bib81","doi-asserted-by":"crossref","unstructured":"R. W. GATTERDAM [1973] The Higman theorem for primitive recursive groups - a preliminary report, in: Word Problems, W. W. Boone, E B. Cannonito and R. C. Lyndon, eds., Studies in Logic, Vol. 71, North-Holland, Amsterdam, pp. 421-425.","DOI":"10.1016\/S0049-237X(08)71910-4"},{"key":"10.1016\/S0049-237X(99)80028-7_bib82","first-page":"507","article-title":"Computable univalent numerations","volume":"19","author":"Goncharov","year":"1980","journal-title":"Algebra i Logika"},{"key":"10.1016\/S0049-237X(99)80028-7_bib83","first-page":"621","article-title":"The problem of the number of nonautoequivalent constructivisations","volume":"19","author":"Goncharov","year":"1980","journal-title":"Algebra i Logika"},{"key":"10.1016\/S0049-237X(99)80028-7_bib84","first-page":"58","article-title":"Groups with a finite number of constructivisations","volume":"25","author":"Goncharov","year":"1981","journal-title":"Soviet Math. Doklady"},{"key":"10.1016\/S0049-237X(99)80028-7_bib85","unstructured":"R. L. GOODSTEIN [1961] Recursive Analysis, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib86","author":"Gr\u00e4tzer","year":"1979"},{"key":"10.1016\/S0049-237X(99)80028-7_bib87","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0168-0072(83)90053-2","article-title":"Automorphisms of substructure lattices in recursive algebra","volume":"25","author":"Guichard","year":"1983","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib88","unstructured":"L. A. HARRINGTON, M. D. MORLEY, A. SCEDROV AND S. G. SIMPSON (EDS.) [1985] Harvey Friedman's Research on the Foundations of Mathematics, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib89","unstructured":"K. HENSEL [1908] Theorie der Algebraischen Zahlen, Leipzig."},{"key":"10.1016\/S0049-237X(99)80028-7_bib90","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1137\/0219002","article-title":"Complexity and unsolvability properties of nilpotency","volume":"19","author":"Hentzel","year":"1990","journal-title":"SIAM J. Comput"},{"key":"10.1016\/S0049-237X(99)80028-7_bib91","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF01448441","article-title":"Zur Theorie den Polynomideale und Resultanten (Bearbeitet von E. Noether)","volume":"88","author":"Henzelt","year":"1922","journal-title":"Math. Ann"},{"key":"10.1016\/S0049-237X(99)80028-7_bib92","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1007\/BF01206635","article-title":"Die Frage der endlichen vielen Schritte in der Theorie der Polynomideale","volume":"95","author":"Hermann","year":"1926","journal-title":"Math. Ann"},{"key":"10.1016\/S0049-237X(99)80028-7_bib93","first-page":"455","article-title":"Subgroups of finitely presented groups","volume":"262","author":"Higman","year":"1961","journal-title":"Proc. Royal Soc. London Ser. A"},{"key":"10.1016\/S0049-237X(99)80028-7_bib94","first-page":"122","article-title":"Effective decomposition in Noetherian rings","author":"Hingston","year":"1981"},{"key":"10.1016\/S0049-237X(99)80028-7_bib95","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1112\/jlms\/s2-31.1.1","article-title":"Poincar\u00e9-Betti series are primitive recursive","volume":"31","author":"Jacobsson","year":"1985","journal-title":"J. London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib96","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2271869","article-title":"Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces","volume":"42","author":"Kalantari","year":"1977","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib97","volume":"15","author":"Kaye","year":"1991"},{"key":"10.1016\/S0049-237X(99)80028-7_bib98","first-page":"193","article-title":"Nonconstructivizibility of some ordered fields of real numbers","volume":"28","author":"Khisamiev","year":"1987","journal-title":"Sibirsk. Mat. Zh"},{"key":"10.1016\/S0049-237X(99)80028-7_bib99","first-page":"68","article-title":"Constructive abelian p-groups","volume":"2","author":"Khisamiev","year":"1992","journal-title":"Siberian Adv. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib100","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MAHC.1981.10004","article-title":"Origins of recursive function theory","volume":"3","author":"Kleene","year":"1981","journal-title":"Ann. Hist. Comput"},{"key":"10.1016\/S0049-237X(99)80028-7_bib101","first-page":"259","article-title":"A unified approach to constructive and recursive analysis","volume":"1104","author":"Kreitz","year":"1984"},{"key":"10.1016\/S0049-237X(99)80028-7_bib102","first-page":"1","article-title":"Grundz\u00fcge einer arithmetischen Theorie der algebraischen Gr\u00f6ssen","volume":"92","author":"Kronecker","year":"1882","journal-title":"J. Reine Angew. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib103","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/BF01448872","article-title":"Galoische Theorie der unendlichen algebraischen Erweiterungen","volume":"100","author":"Krull","year":"1928","journal-title":"Math. Ann"},{"key":"10.1016\/S0049-237X(99)80028-7_bib104","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01180241","article-title":"\u00dcber Polynomzerlegung mit endlich vielen Schritten I","volume":"59","author":"Krull","year":"1953","journal-title":"Math. Z"},{"key":"10.1016\/S0049-237X(99)80028-7_bib105","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/BF01180262","article-title":"\u00dcber Polynomzerlegung mit endlich vielen Schritten II","volume":"59","author":"Krull","year":"1953","journal-title":"Math. Z"},{"key":"10.1016\/S0049-237X(99)80028-7_bib106","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF01187365","article-title":"\u00dcber Polynomzerlegung mit endlich vielen Schritten III","volume":"60","author":"Krull","year":"1954","journal-title":"Math. Z"},{"key":"10.1016\/S0049-237X(99)80028-7_bib107","first-page":"121","article-title":"Algebraic dependences and reducibilities of constructivizations in universal domains","volume":"3","author":"Kudinov","year":"1993","journal-title":"Siberian Adv. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib108","author":"Kudinov","year":"1996","journal-title":"An integral domain with finite algorithmic dimension"},{"key":"10.1016\/S0049-237X(99)80028-7_bib109","first-page":"240","article-title":"Algorithms as operations in algebraic systems","volume":"13","author":"Kuznetsov","year":"1958","journal-title":"Uspekhi Mat. Nauk"},{"key":"10.1016\/S0049-237X(99)80028-7_bib110","unstructured":"G. KONIG [1903] Einleitung in die Allgemeine Theorie der Algebraischen Gr6flen, Leipzig."},{"key":"10.1016\/S0049-237X(99)80028-7_bib111","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1090\/S0002-9939-1970-0253897-3","article-title":"Computable fields and arithmetically definable ordered fields","volume":"24","author":"Lachlan","year":"1970","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib112","unstructured":"J. L. LAGRANGE [1772] Rrflexions sur la rrsolution alg6brique des 6quations, Nouv. M~m. Acad. Berlin, pour les ann,s 1770\/71, Berlin, pp. 203-421."},{"key":"10.1016\/S0049-237X(99)80028-7_bib113","author":"Lallement","year":"1979"},{"key":"10.1016\/S0049-237X(99)80028-7_bib114","author":"Lang","year":"1965"},{"key":"10.1016\/S0049-237X(99)80028-7_bib115","first-page":"131","article-title":"Algorithmes fondamentaux en alg\u00e8bre commutative","volume":"38\u201339","author":"Lazard","year":"1976","journal-title":"Asterisque"},{"key":"10.1016\/S0049-237X(99)80028-7_bib116","first-page":"147","article-title":"The effective content of Ulm's theorem","author":"Lin","year":"1981"},{"key":"10.1016\/S0049-237X(99)80028-7_bib117","doi-asserted-by":"crossref","first-page":"617","DOI":"10.2307\/2273759","article-title":"Recursively presented Abelian groups: Effective p-group theory I","volume":"46","author":"Lin","year":"1981","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib118","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1145\/322017.322031","article-title":"Word problems solvable in logspace","volume":"24","author":"Lipton","year":"1977","journal-title":"J. Assoc. Comput. Mach"},{"key":"10.1016\/S0049-237X(99)80028-7_bib119","author":"Lyndon","year":"1977"},{"key":"10.1016\/S0049-237X(99)80028-7_bib120","author":"Machtey","year":"1978"},{"key":"10.1016\/S0049-237X(99)80028-7_bib121","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/1970894","article-title":"On algebraically closed groups","volume":"96","author":"MacIntyre","year":"1972","journal-title":"Ann. of Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib122","doi-asserted-by":"crossref","first-page":"239","DOI":"10.2307\/2270515","article-title":"A note on computable real fields","volume":"35","author":"Madison","year":"1970","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib123","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1112\/jlms\/s2-4.2.304","article-title":"Some remarks on computable (non-archimedian) ordered fields","volume":"4","author":"Madison","year":"1971","journal-title":"J. London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib124","author":"Magnus","year":"1976"},{"key":"10.1016\/S0049-237X(99)80028-7_bib125","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1070\/RM1961v016n03ABEH001120","article-title":"Constructive algebra I","volume":"16","author":"Mal'cev","year":"1961","journal-title":"Russian Math. Surv"},{"key":"10.1016\/S0049-237X(99)80028-7_bib126","author":"Mal'cev","year":"1970"},{"key":"10.1016\/S0049-237X(99)80028-7_bib127","unstructured":"[1971a] The Metamathematics of Algebraic Systems. Collected Papers: 1936-1967, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib128","unstructured":"[1971b] Constructive algebras I, in: The Metamathematics of Algebraic Systems. Collected Papers: 1936-1967, B. E Wells III, ed., North-Holland, Amsterdam, pp. 148-212."},{"key":"10.1016\/S0049-237X(99)80028-7_bib129","unstructured":"A. I. MAL'CEV [1971 c] Recursive abelian groups, in: The Metamathematics of Algebraic Systems. Collected Papers: 1936-1967, B. E Wells III, ed., North-Holland, Amsterdam, pp. 282-286."},{"key":"10.1016\/S0049-237X(99)80028-7_bib130","first-page":"583","article-title":"On the impossibility of certain algorithms in the theory of associative systems","volume":"55","author":"Markov","year":"1947","journal-title":"Dokl. Akad. Sci. USSR"},{"key":"10.1016\/S0049-237X(99)80028-7_bib131","doi-asserted-by":"crossref","first-page":"403","DOI":"10.2307\/2273150","article-title":"On the complexity of models of arithmetic","volume":"47","author":"McAloon","year":"1982","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib132","volume":"1","author":"McKenzie","year":"1987"},{"key":"10.1016\/S0049-237X(99)80028-7_bib133","first-page":"189","article-title":"Universal algebra","author":"Meinke","year":"1992"},{"key":"10.1016\/S0049-237X(99)80028-7_bib134","first-page":"459","article-title":"Initiality, induction and computability","author":"Meseguer","year":"1985"},{"key":"10.1016\/S0049-237X(99)80028-7_bib135","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0003-4843(77)90015-8","article-title":"Recursively enumerable vector spaces","volume":"11","author":"Metakides","year":"1977","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib136","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0003-4843(79)90011-1","article-title":"Effective content of field theory","volume":"17","author":"Metakides","year":"1979","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib137","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/0021-8693(80)90237-9","article-title":"Recursion theory on fields and abstract dependence","volume":"65","author":"Metakides","year":"1980","journal-title":"J. Algebra"},{"key":"10.1016\/S0049-237X(99)80028-7_bib138","doi-asserted-by":"crossref","unstructured":"G. METAKIDES AND A. NERODE [1982] The introduction of non-recursive methods into mathematics, in: The L. E. J. Brouwer CentenarySymposium, A. S. Troelstra and D. van Dalen, eds., North-Holland, Amsterdam, pp.319-335.","DOI":"10.1016\/S0049-237X(09)70135-1"},{"key":"10.1016\/S0049-237X(99)80028-7_bib139","author":"Miller","year":"1971"},{"key":"10.1016\/S0049-237X(99)80028-7_bib140","article-title":"Decision problems for groups. Surveys and reflections","volume":"23","author":"Miller","year":"1992"},{"key":"10.1016\/S0049-237X(99)80028-7_bib141","author":"Mines","year":"1988"},{"key":"10.1016\/S0049-237X(99)80028-7_bib142","doi-asserted-by":"crossref","first-page":"62","DOI":"10.7146\/math.scand.a-11852","article-title":"Finite algorithmic procedures and inductive definability","volume":"46","author":"Moldestad","year":"1980","journal-title":"Math. Scand"},{"key":"10.1016\/S0049-237X(99)80028-7_bib143","doi-asserted-by":"crossref","first-page":"77","DOI":"10.7146\/math.scand.a-11853","article-title":"Finte algorithmic procedures and computation theories","volume":"46","author":"Moldestad","year":"1980","journal-title":"Math. Scand"},{"key":"10.1016\/S0049-237X(99)80028-7_bib144","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02400412","article-title":"Sur une notion qui comprend celle de la divisibilit\u00e9 et sur la th\u00e9orie de l'elimination","volume":"6","author":"Molk","year":"1885","journal-title":"Acta Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib145","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","article-title":"Recursive metric spaces","volume":"55","author":"Moschovakis","year":"1964","journal-title":"Fund. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib146","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(92)90305-Y","article-title":"Final algebras, cosemicomputable algebras, and degrees of unsolvability","volume":"100","author":"Moss","year":"1992","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S0049-237X(99)80028-7_bib147","doi-asserted-by":"crossref","unstructured":"A. NERODE AND J. B. REMMEL [1983] Recursion theory on matroids II, in: Proceedings of the Singapore Logic Symposium. Southeast Asian Conference on Logic, C. T. Chong and M. S. Wicks, eds., North-Holland, Amsterdam, pp. 133-184.","DOI":"10.1016\/S0049-237X(08)70960-1"},{"key":"10.1016\/S0049-237X(99)80028-7_bib148","first-page":"323","article-title":"A survey of r.e. substructures","author":"Nerode","year":"1985"},{"key":"10.1016\/S0049-237X(99)80028-7_bib149","first-page":"218","article-title":"Complexity theoretic algebra I: Vector spaces over finite fields","author":"Nerode","year":"1987"},{"key":"10.1016\/S0049-237X(99)80028-7_bib150","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0168-0072(89)90047-X","article-title":"Complexity theoretic algebra II: Boolean algebras","volume":"44","author":"Nerode","year":"1989","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib151","first-page":"293","article-title":"Complexity-theoretic algebra: Vector space bases","author":"Nerode","year":"1990"},{"key":"10.1016\/S0049-237X(99)80028-7_bib152","first-page":"245","article-title":"The undecidability of the lattice of r.e. subspaces","author":"Nerode","year":"1982"},{"key":"10.1016\/S0049-237X(99)80028-7_bib153","doi-asserted-by":"crossref","unstructured":"B. H. NEUMANN [1973] The isomorphism problem for algebraically closed groups, in: Word Problems, W. W. Boone, E B. Cannonito and R. C. Lyndon, eds., North-Holland, Amsterdam, pp. 553-562.","DOI":"10.1016\/S0049-237X(08)71919-0"},{"key":"10.1016\/S0049-237X(99)80028-7_bib154","first-page":"143","article-title":"On the algorithmic unsolvability of the word problem for group theory","volume":"44","author":"Novikov","year":"1955","journal-title":"Trudy Mat. Inst. Steklov"},{"key":"10.1016\/S0049-237X(99)80028-7_bib155","author":"Novy","year":"1973"},{"key":"10.1016\/S0049-237X(99)80028-7_bib156","unstructured":"P. ODIFREDDI [1989] Classical Recursion Theory, Studies in Logic, Vol. 125, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib157","author":"Peacock","year":"1830"},{"key":"10.1016\/S0049-237X(99)80028-7_bib158","first-page":"79","article-title":"Recursion theory","author":"Phillips","year":"1992"},{"key":"10.1016\/S0049-237X(99)80028-7_bib159","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267170","article-title":"Recursive unsolvability of a problem of Thue","volume":"12","author":"Post","year":"1947","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib160","author":"Pour-El","year":"1989"},{"key":"10.1016\/S0049-237X(99)80028-7_bib161","first-page":"341","article-title":"Computable algebra, general theory and theory of computable fields","volume":"95","author":"Rabin","year":"1960","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib162","first-page":"134","article-title":"Computable algebraic systems","author":"Rabin","year":"1960"},{"key":"10.1016\/S0049-237X(99)80028-7_bib163","author":"Reid","year":"1970"},{"key":"10.1016\/S0049-237X(99)80028-7_bib164","unstructured":"J. B. REMMEL [1989] Recursive Boolean algebras, in: Handbook of Boolean Algebra, Vol. III, J. D. Monk, ed., North-Holland, Amsterdam, pp. 1099-1165."},{"key":"10.1016\/S0049-237X(99)80028-7_bib165","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1002\/malq.19790251908","article-title":"Direct summands of r.e. vector spaces","volume":"25","author":"Retzlaff","year":"1979","journal-title":"Zeits. Math. Logik Grundl. Math"},{"key":"10.1016\/S0049-237X(99)80028-7_bib166","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1090\/S0002-9939-1974-0416874-9","article-title":"Constructive aspects of Noetherian rings","volume":"44","author":"Richman","year":"1974","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib167","author":"Rogers","year":"1967"},{"key":"10.1016\/S0049-237X(99)80028-7_bib168","author":"Rotman","year":"1995"},{"key":"10.1016\/S0049-237X(99)80028-7_bib169","first-page":"1","author":"Ruffini","year":"1779"},{"key":"10.1016\/S0049-237X(99)80028-7_bib170","author":"Sacks","year":"1990"},{"key":"10.1016\/S0049-237X(99)80028-7_bib171","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1090\/S0002-9947-1974-0349648-2","article-title":"Constructions in algebra","volume":"197","author":"Seidenberg","year":"1974","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib172","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF02925651","article-title":"What is Noetherian?","volume":"44","author":"Seidenberg","year":"1974","journal-title":"Rendiconti del Seminario Matematico e Fisico di Milano"},{"key":"10.1016\/S0049-237X(99)80028-7_bib173","first-page":"377","article-title":"Survey of constructions in Noetherian rings","volume":"42","author":"Seidenberg","year":"1985"},{"key":"10.1016\/S0049-237X(99)80028-7_bib174","first-page":"79","article-title":"A non-standard model for a free variable fragment of number theory","volume":"12","author":"Shepherdson","year":"1964","journal-title":"Bull. Acad. Polon. Sci., S\u00e9r. Sci., Math., Astron. Phys"},{"key":"10.1016\/S0049-237X(99)80028-7_bib175","doi-asserted-by":"crossref","unstructured":"J. C. SHEPHERDSON [1965] Non-standard models for fragments of number theory, in: Theory of Models, J. W. Addison, ed., North-Holland, Amsterdam, pp. 342-358.","DOI":"10.1016\/B978-0-7204-2233-7.50037-X"},{"key":"10.1016\/S0049-237X(99)80028-7_bib176","unstructured":"[1985] Algorithmic procedures, generalised Turing algorithms, and elementary recursion theory, in: Harvey Friedman's Research on the Foundations of Mathematics, L. A. Harrington, M. D. Morley, A. Scedrov and S. G. Simpson, eds., North-Holland, Amsterdam, pp. 285-308."},{"key":"10.1016\/S0049-237X(99)80028-7_bib177","doi-asserted-by":"crossref","first-page":"13","DOI":"10.2307\/2271945","article-title":"Controlling the dependence degree of a recursively enumerable vector space","volume":"43","author":"Shore","year":"1978","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib178","first-page":"417","article-title":"Word problems for groups and contextfree recognition","author":"Simon","year":"1979"},{"key":"10.1016\/S0049-237X(99)80028-7_bib179","first-page":"232","article-title":"Effective valuation theory","author":"Smith","year":"1981"},{"key":"10.1016\/S0049-237X(99)80028-7_bib180","first-page":"302","article-title":"Two theorems on autostability in p-groups","volume":"859","author":"Smith","year":"1981"},{"key":"10.1016\/S0049-237X(99)80028-7_bib181","author":"Soare","year":"1987"},{"key":"10.1016\/S0049-237X(99)80028-7_bib182","author":"Sperschneider","year":"1991"},{"key":"10.1016\/S0049-237X(99)80028-7_bib183","first-page":"167","article-title":"Algebraische Theorie der K\u00f6rper","volume":"137","author":"Steinitz","year":"1910","journal-title":"Journal f\u00fcr Mathematik"},{"key":"10.1016\/S0049-237X(99)80028-7_bib184","author":"Stewart","year":"1973"},{"key":"10.1016\/S0049-237X(99)80028-7_bib185","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0020-0190(91)90121-W","article-title":"Complete problems for symmetric logspace involving free groups","volume":"40","author":"Stewart","year":"1991","journal-title":"Inform. Process. Lett"},{"key":"10.1016\/S0049-237X(99)80028-7_bib186","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1142\/S0218196792000141","article-title":"Refining known results on the generalized word problem for free groups","volume":"2","author":"Stewart","year":"1992","journal-title":"Internat. J. Algebra Comput"},{"key":"10.1016\/S0049-237X(99)80028-7_bib187","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1090\/S0273-0979-1982-14963-1","article-title":"The word problem and the isomorphism problem for groups","volume":"6","author":"Stillwell","year":"1982","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib188","volume":"22","author":"Stoltenberg-Hansen","year":"1994"},{"key":"10.1016\/S0049-237X(99)80028-7_bib189","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1112\/blms\/12.6.463","article-title":"Computing roots of unity in fields","volume":"12","author":"Stoltenberg-Hansen","year":"1980","journal-title":"Bull. London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib190","author":"Stoltenberg-Hansen","year":"1985"},{"key":"10.1016\/S0049-237X(99)80028-7_bib191","doi-asserted-by":"crossref","first-page":"603","DOI":"10.2307\/2274527","article-title":"Complete local rings as domains","volume":"53","author":"Stoltenberg-Hansen","year":"1988","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib192","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(06)80002-2","article-title":"Algebraic equations and fixed-point equations in inverse limits","volume":"87","author":"Stoltenberg-Hansen","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0049-237X(99)80028-7_bib193","first-page":"531","article-title":"Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms","volume":"666","author":"Stoltenberg-Hansen","year":"1993"},{"key":"10.1016\/S0049-237X(99)80028-7_bib194","first-page":"357","article-title":"Effective algebras","author":"Stoltenberg-Hansen","year":"1995"},{"key":"10.1016\/S0049-237X(99)80028-7_bib195","doi-asserted-by":"crossref","DOI":"10.1016\/S0304-3975(98)00296-5","article-title":"Concrete models of computation for topological algebras","author":"Stoltenberg-Hansen","year":"1999","journal-title":"Theoret. Comp. Sci."},{"key":"10.1016\/S0049-237X(99)80028-7_bib196","first-page":"271","article-title":"M\u00e9moire sur la r\u00e9solution des \u00e9quations num\u00e9riques","volume":"6","author":"Sturm","year":"1835","journal-title":"Annales de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"10.1016\/S0049-237X(99)80028-7_bib197","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1016\/0021-8693(70)90050-5","article-title":"Anneaux et modules coh\u00e9rents","volume":"15","author":"Soublin","year":"1970","journal-title":"J. Algebra"},{"key":"10.1016\/S0049-237X(99)80028-7_bib198","doi-asserted-by":"crossref","first-page":"272","DOI":"10.2307\/2272062","article-title":"Recursive elements and constructive extensions of computable local integral domains","volume":"38","author":"Suter","year":"1973","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib199","first-page":"270","article-title":"Non-archimedian models for arithmetic","volume":"6","author":"Tennenbaum","year":"1959","journal-title":"Notices Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80028-7_bib200","first-page":"34","article-title":"Probleme \u00fcber Ver\u00e4nderungen von Zeichenreihen nach gegebenen Regeln","volume":"10","author":"Thue","year":"1914","journal-title":"Skr. Vid. Kristiania,I Mat. Naturv. Klasse"},{"key":"10.1016\/S0049-237X(99)80028-7_bib201","author":"Thue","year":"1977"},{"key":"10.1016\/S0049-237X(99)80028-7_bib202","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(88)90134-X","article-title":"Complexity, combinatorial group theory and the language of palutators","volume":"56","author":"Tretkoff","year":"1988","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0049-237X(99)80028-7_bib203","author":"Troelstra","year":"1988"},{"key":"10.1016\/S0049-237X(99)80028-7_bib204","author":"Troelstra","year":"1991"},{"key":"10.1016\/S0049-237X(99)80028-7_bib205","unstructured":"A. S. TROELSTRA AND D. VAN DALEN [1988a] Constructivism in Mathematics. An Introduction, Vol. I, Studies in Logic, Vol. 121, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib206","unstructured":"A. S. TROELSTRA AND D. VAN DALEN [1988a] Constructivism in Mathematics. An Introduction, Vol. I, Studies in Logic, Vol. 121, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib207","author":"Tucker","year":"1976"},{"key":"10.1016\/S0049-237X(99)80028-7_bib208","doi-asserted-by":"crossref","first-page":"103","DOI":"10.2307\/2273358","article-title":"Computability and the algebra of fields: Some affine constructions","volume":"45","author":"Tucker","year":"1980","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib209","first-page":"215","article-title":"Computing in algebraic systems","volume":"45","author":"Tucker","year":"1980"},{"key":"10.1016\/S0049-237X(99)80028-7_bib210","first-page":"215","article-title":"Theory of computation and specification over abstract data types and its applications","author":"Tucker","year":"1991"},{"key":"10.1016\/S0049-237X(99)80028-7_bib211","unstructured":"J. V. TUCKER AND J. I. ZUCKER [1988] Program Correctness over Abstract Data Types with Error-State Semantics, North-Holland,Amsterdam."},{"key":"10.1016\/S0049-237X(99)80028-7_bib212","first-page":"179","article-title":"Examples of semicomputable sets of real and complex numbers","volume":"613","author":"Tucker","year":"1991"},{"key":"10.1016\/S0049-237X(99)80028-7_bib213","first-page":"277","article-title":"Provable computable selection functions on abstract structures","author":"Tucker","year":"1993"},{"key":"10.1016\/S0049-237X(99)80028-7_bib214","first-page":"341","article-title":"Computable functions on stream algebras","author":"Tucker","year":"1994"},{"key":"10.1016\/S0049-237X(99)80028-7_bib215","article-title":"Computable functions and semicomputable sets on many sorted algebras","author":"Tucker","year":"1999"},{"key":"10.1016\/S0049-237X(99)80028-7_bib216","doi-asserted-by":"crossref","first-page":"491","DOI":"10.2307\/1969481","article-title":"The word problem in semigroups with cancellation","volume":"52","author":"Turing","year":"1950","journal-title":"Ann. of Math."},{"key":"10.1016\/S0049-237X(99)80028-7_bib217","first-page":"93","article-title":"On a theorem of G. Higman","volume":"8","author":"Valiev","year":"1969","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib218","first-page":"432","article-title":"On polynomial reducibility of the word problem under embedding of recursively presented groups in finitely generated groups","volume":"32","author":"Valiev","year":"1975"},{"key":"10.1016\/S0049-237X(99)80028-7_bib219","author":"Van Der Waerden","year":"1930"},{"key":"10.1016\/S0049-237X(99)80028-7_bib220","doi-asserted-by":"crossref","first-page":"738","DOI":"10.1007\/BF01782374","article-title":"Eine Bemerkung \u00fcber die Unzerlegbarkeit von Polynomen","volume":"102","author":"Van Der Waerden","year":"1930","journal-title":"Math. Ann."},{"key":"10.1016\/S0049-237X(99)80028-7_bib221","doi-asserted-by":"crossref","first-page":"7","DOI":"10.2307\/1968682","article-title":"On the ordering of real algebraic numbers by constructive methods","volume":"37","author":"Vandiver","year":"1936","journal-title":"Ann. of Math."},{"key":"10.1016\/S0049-237X(99)80028-7_bib222","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BF00739415","article-title":"Computable classes of constructivizations of models of infinite algorithmic dimension","volume":"33","author":"Ventsov","year":"1994","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80028-7_bib223","first-page":"467","article-title":"Tape complexity of word problems","volume":"117","author":"Waack","year":"1981"},{"key":"10.1016\/S0049-237X(99)80028-7_bib224","unstructured":"[1983] Raumkomplexitiit von Wortproblemen endlicher Gruppenpriisentationen, Dissertation A, Berlin."},{"key":"10.1016\/S0049-237X(99)80028-7_bib225","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1051\/ita\/1991250403231","article-title":"On the parallel complexity of linear groups","volume":"25","author":"Waack","year":"1991","journal-title":"RARIO Inform. Th\u00e9or. Appl"},{"key":"10.1016\/S0049-237X(99)80028-7_bib226","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1007\/BF01446451","article-title":"Untersuchungen \u00fcber die allgemeinen Grundlagen der Galois'schen Gleichungstheorie","volume":"43","author":"Weber","year":"1893","journal-title":"Math. Ann"},{"key":"10.1016\/S0049-237X(99)80028-7_bib227","volume":"25","author":"Wechler","year":"1992"},{"key":"10.1016\/S0049-237X(99)80028-7_bib228","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0304-3975(85)90207-5","article-title":"Type 2 recursion theory","volume":"38","author":"Weihrauch","year":"1985","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0049-237X(99)80028-7_bib229","volume":"9","author":"Weihrauch","year":"1987"},{"key":"10.1016\/S0049-237X(99)80028-7_bib230","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0304-3975(93)90001-A","article-title":"Computability on computable metric spaces","volume":"113","author":"Weihrauch","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0049-237X(99)80028-7_bib231","author":"Weihrauch","year":"1996"},{"key":"10.1016\/S0049-237X(99)80028-7_bib232","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0304-3975(81)90027-X","article-title":"Embedding metric spaces into cpo's","volume":"16","author":"Weihrauch","year":"1981","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0049-237X(99)80028-7_bib233","doi-asserted-by":"crossref","unstructured":"M. WIRSING [1990] Algebraic specifications, in: Handbook of Theoretical Computer Science. Vol. B: Formal Models and Semantics, J. van Leeuwen, ed., North-Holland, pp. 675-788","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"10.1016\/S0049-237X(99)80028-7_bib234","author":"W\u00fcssing","year":"1984"},{"key":"10.1016\/S0049-237X(99)80028-7_bib235","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/malq.19760220122","article-title":"Ein rekursiv aufzahlbarer btt-Grad, der nicht zum Wort problem einer Gruppe geh\u00f6rt","volume":"22","author":"Ziegler","year":"1976","journal-title":"Zeits. Math. Logik Grundl. Math."}],"container-title":["Studies in Logic and the Foundations of Mathematics","Handbook of Computability Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X99800287?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X99800287?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T17:33:37Z","timestamp":1758735217000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0049237X99800287"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9780444898821"],"references-count":235,"URL":"https:\/\/doi.org\/10.1016\/s0049-237x(99)80028-7","relation":{},"ISSN":["0049-237X"],"issn-type":[{"value":"0049-237X","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}