Sanders, Sam Lifting proofs from countable to uncountable mathematics. (English) Zbl 07540284 Inf. Comput. 287, Article ID 104762, 20 p. (2022). MSC: 03F35 PDF BibTeX XML Cite \textit{S. Sanders}, Inf. Comput. 287, Article ID 104762, 20 p. (2022; Zbl 07540284) Full Text: DOI OpenURL
Pasten, Hector Notes on the DPRM property for listable structures. (English) Zbl 07506779 J. Symb. Log. 87, No. 1, 273-312 (2022). MSC: 11U09 03D45 11G35 11J68 PDF BibTeX XML Cite \textit{H. Pasten}, J. Symb. Log. 87, No. 1, 273--312 (2022; Zbl 07506779) Full Text: DOI OpenURL
Wu, Huishan The computational complexity of module socles. (English) Zbl 07501983 Ann. Pure Appl. Logic 173, No. 5, Article ID 103089, 11 p. (2022). MSC: 03D15 03D80 68Q15 68Q17 PDF BibTeX XML Cite \textit{H. Wu}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103089, 11 p. (2022; Zbl 07501983) Full Text: DOI OpenURL
Krenn, Daniel; Shallit, Jeffrey Decidability and \(k\)-regular sequences. (English) Zbl 07477123 Theor. Comput. Sci. 907, 34-44 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Krenn} and \textit{J. Shallit}, Theor. Comput. Sci. 907, 34--44 (2022; Zbl 07477123) Full Text: DOI arXiv OpenURL
Selivanov, Victor; Selivanova, Svetlana Primitive recursive ordered fields and some applications. (English) Zbl 07497964 Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 353-369 (2021). MSC: 68W30 PDF BibTeX XML Cite \textit{V. Selivanov} and \textit{S. Selivanova}, Lect. Notes Comput. Sci. 12865, 353--369 (2021; Zbl 07497964) Full Text: DOI OpenURL
Miller, Russell Computable procedures for fields. (English) Zbl 07495181 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 342-352 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Miller}, Lect. Notes Comput. Sci. 12813, 342--352 (2021; Zbl 07495181) Full Text: DOI OpenURL
Brown, Tyler A. Computing on the Banach space \(C[0,1]\). (English) Zbl 07429026 Computability 10, No. 3, 257-270 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{T. A. Brown}, Computability 10, No. 3, 257--270 (2021; Zbl 07429026) Full Text: DOI OpenURL
Melnikov, A. G. New degree spectra of Polish spaces. (English. Russian original) Zbl 07401183 Sib. Math. J. 62, No. 5, 882-894 (2021); translation from Sib. Mat. Zh. 62, No. 5, 1091-1108 (2021). MSC: 03Dxx 03Cxx 20Kxx PDF BibTeX XML Cite \textit{A. G. Melnikov}, Sib. Math. J. 62, No. 5, 882--894 (2021; Zbl 07401183); translation from Sib. Mat. Zh. 62, No. 5, 1091--1108 (2021) Full Text: DOI OpenURL
Manaresi, Mirella Grete Hermann and effective methods in geometry. (English) Zbl 1470.01005 Magnaghi-Delfino, Paola (ed.) et al., Faces of geometry. II edition. Based on the international conference, hosted online by Politecnico di Milano, Milan, Italy, October 27–28, 2020. Cham: Springer. Lect. Notes Netw. Syst. 172, 223-241 (2021). MSC: 01A60 51-03 14-03 PDF BibTeX XML Cite \textit{M. Manaresi}, Lect. Notes Netw. Syst. 172, 223--241 (2021; Zbl 1470.01005) Full Text: DOI OpenURL
Conidis, Chris J. The complexity of module radicals. (English) Zbl 07391980 Notre Dame J. Formal Logic 62, No. 2, 353-368 (2021). MSC: 03D80 03F65 PDF BibTeX XML Cite \textit{C. J. Conidis}, Notre Dame J. Formal Logic 62, No. 2, 353--368 (2021; Zbl 07391980) Full Text: DOI OpenURL
Frolov, A. N. Computable presentability of countable linear orders. (English. Russian original) Zbl 07364544 J. Math. Sci., New York 256, No. 2, 199-233 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 81-115 (2018). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{A. N. Frolov}, J. Math. Sci., New York 256, No. 2, 199--233 (2021; Zbl 07364544); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 81--115 (2018) Full Text: DOI OpenURL
Bazhenov, N. A. Categoricity spectra of computable structures. (English. Russian original) Zbl 1485.03105 J. Math. Sci., New York 256, No. 1, 34-50 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 42-58 (2018). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, J. Math. Sci., New York 256, No. 1, 34--50 (2021; Zbl 1485.03105); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 42--58 (2018) Full Text: DOI OpenURL
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca Degrees of bi-embeddable categoricity. (English) Zbl 07363322 Computability 10, No. 1, 1-16 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Computability 10, No. 1, 1--16 (2021; Zbl 07363322) Full Text: DOI arXiv OpenURL
Binyamini, Gal; Masser, David Effective André-Oort conjecture for non-compact curves in Hilbert modular varieties. (La conjecture de André-Oort effective pour les courbes non-compactes dans les variétés modulaires de Hilbert.) (English. French summary) Zbl 1470.11159 C. R., Math., Acad. Sci. Paris 359, No. 3, 313-321 (2021). MSC: 11G10 11G15 11G18 11G50 PDF BibTeX XML Cite \textit{G. Binyamini} and \textit{D. Masser}, C. R., Math., Acad. Sci. Paris 359, No. 3, 313--321 (2021; Zbl 1470.11159) Full Text: DOI arXiv OpenURL
Bazhenov, N. A.; Kalimullin, I. Sh.; Yamaleev, M. M. Strong degrees of categoricity and weak density. (English) Zbl 07272819 Lobachevskii J. Math. 41, No. 9, 1630-1639 (2020). MSC: 03C57 03D45 03D28 PDF BibTeX XML Cite \textit{N. A. Bazhenov} et al., Lobachevskii J. Math. 41, No. 9, 1630--1639 (2020; Zbl 07272819) Full Text: DOI OpenURL
van der Hoeven, Joris; Lecerf, Grégoire Directed evaluation. (English) Zbl 1475.65013 J. Complexity 60, Article ID 101498, 45 p. (2020). MSC: 65D99 11Y16 12-08 68W30 PDF BibTeX XML Cite \textit{J. van der Hoeven} and \textit{G. Lecerf}, J. Complexity 60, Article ID 101498, 45 p. (2020; Zbl 1475.65013) Full Text: DOI HAL OpenURL
Downey, Rodney G.; Ng, Keng Meng; Solomon, Reed Minimal weak truth table degrees and computably enumerable Turing degrees. (English) Zbl 1460.03002 Memoirs of the American Mathematical Society 1284. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4162-3/pbk; 978-1-4704-6136-2/ebook). vii, 90 p. (2020). Reviewer: Patrizio Cintioli (Camerino) MSC: 03-02 03D25 03D28 03D30 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Minimal weak truth table degrees and computably enumerable Turing degrees. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 1460.03002) Full Text: DOI OpenURL
Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng Automatic and polynomial-time algebraic structures. (English) Zbl 1454.03042 J. Symb. Log. 84, No. 4, 1630-1669 (2019). Reviewer: Jamalbek Tussupov (Astana) MSC: 03C57 03D05 03D20 03D45 03D80 68Q45 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., J. Symb. Log. 84, No. 4, 1630--1669 (2019; Zbl 1454.03042) Full Text: DOI Link OpenURL
van der Hoeven, Joris; Lecerf, Grégoire Accelerated tower arithmetic. (English) Zbl 07134888 J. Complexity 55, Article ID 101402, 26 p. (2019). MSC: 68-XX 11-XX PDF BibTeX XML Cite \textit{J. van der Hoeven} and \textit{G. Lecerf}, J. Complexity 55, Article ID 101402, 26 p. (2019; Zbl 07134888) Full Text: DOI HAL OpenURL
Cossart, Vincent; Jannsen, Uwe; Schober, Bernd Invariance of Hironaka’s characteristic polyhedron. (English) Zbl 1430.14077 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 113, No. 4, 4145-4169 (2019). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 14J17 14B05 14E15 52B99 32S45 PDF BibTeX XML Cite \textit{V. Cossart} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 113, No. 4, 4145--4169 (2019; Zbl 1430.14077) Full Text: DOI arXiv OpenURL
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander Foundations of online structure theory. (English) Zbl 1477.03167 Bull. Symb. Log. 25, No. 2, 141-181 (2019). MSC: 03D45 03C57 03D75 03D80 05C15 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Bull. Symb. Log. 25, No. 2, 141--181 (2019; Zbl 1477.03167) Full Text: DOI Link OpenURL
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca Degrees of bi-embeddable categoricity of equivalence structures. (English) Zbl 1477.03143 Arch. Math. Logic 58, No. 5-6, 543-563 (2019). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Arch. Math. Logic 58, No. 5--6, 543--563 (2019; Zbl 1477.03143) Full Text: DOI arXiv OpenURL
Fokina, Ekaterina; Harizanov, Valentina; Turetsky, Daniel Computability-theoretic categoricity and Scott families. (English) Zbl 1441.03031 Ann. Pure Appl. Logic 170, No. 6, 699-717 (2019). Reviewer: Jamalbek Tussupov (Astana) MSC: 03D45 03C57 03D80 PDF BibTeX XML Cite \textit{E. Fokina} et al., Ann. Pure Appl. Logic 170, No. 6, 699--717 (2019; Zbl 1441.03031) Full Text: DOI OpenURL
Lecerf, Grégoire On the complexity of the Lickteig-Roy subresultant algorithm. (English) Zbl 1409.13051 J. Symb. Comput. 92, 243-268 (2019). Reviewer: Amir Hashemi (Isfahan) MSC: 13P15 68W30 68R05 PDF BibTeX XML Cite \textit{G. Lecerf}, J. Symb. Comput. 92, 243--268 (2019; Zbl 1409.13051) Full Text: DOI OpenURL
Conidis, Chris J. The computability, definability, and proof theory of Artinian rings. (English) Zbl 1454.03016 Adv. Math. 341, 1-39 (2019). MSC: 03B30 03F35 03D45 13E10 PDF BibTeX XML Cite \textit{C. J. Conidis}, Adv. Math. 341, 1--39 (2019; Zbl 1454.03016) Full Text: DOI OpenURL
Melnikov, Alexander G. Torsion-free abelian groups with optimal Scott families. (English) Zbl 06887312 J. Math. Log. 18, No. 1, Article ID 1850002, 47 p. (2018). MSC: 03D50 03D45 PDF BibTeX XML Cite \textit{A. G. Melnikov}, J. Math. Log. 18, No. 1, Article ID 1850002, 47 p. (2018; Zbl 06887312) Full Text: DOI OpenURL
Bazhenov, Nikolay A.; Kalimullin, Iskander Sh.; Yamaleev, Mars M. Degrees of categoricity and spectral dimension. (English) Zbl 1447.03008 J. Symb. Log. 83, No. 1, 103-116 (2018). MSC: 03D45 03C57 03C35 03D28 PDF BibTeX XML Cite \textit{N. A. Bazhenov} et al., J. Symb. Log. 83, No. 1, 103--116 (2018; Zbl 1447.03008) Full Text: DOI OpenURL
Greenberg, Noam; Turetsky, Dan; Westrick, Linda Brown Finding bases of uncountable free abelian groups is usually difficult. (English) Zbl 1414.03006 Trans. Am. Math. Soc. 370, No. 6, 4483-4508 (2018). Reviewer: Valery Plisko (Moskva) MSC: 03C57 03D60 03D45 20K99 PDF BibTeX XML Cite \textit{N. Greenberg} et al., Trans. Am. Math. Soc. 370, No. 6, 4483--4508 (2018; Zbl 1414.03006) Full Text: DOI arXiv OpenURL
Korovina, M. V.; Kudinov, O. V. Spectrum of the field of computable real numbers. (English. Russian original) Zbl 1420.03113 Algebra Logic 55, No. 6, 485-500 (2017); translation from Algebra Logika 55, No. 6, 738-759 (2016). MSC: 03D78 03D28 03D45 PDF BibTeX XML Cite \textit{M. V. Korovina} and \textit{O. V. Kudinov}, Algebra Logic 55, No. 6, 485--500 (2017; Zbl 1420.03113); translation from Algebra Logika 55, No. 6, 738--759 (2016) Full Text: DOI OpenURL
Bazhenov, Nikolay A.; Yamaleev, Mars M. Degrees of categoricity of rigid structures. (English) Zbl 06756758 Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 152-161 (2017). MSC: 03C57 PDF BibTeX XML Cite \textit{N. A. Bazhenov} and \textit{M. M. Yamaleev}, Lect. Notes Comput. Sci. 10307, 152--161 (2017; Zbl 06756758) Full Text: DOI OpenURL
Bazhenov, Nikolay A note on effective categoricity for linear orderings. (English) Zbl 1459.03045 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 85-96 (2017). MSC: 03C57 03D45 03C35 06A05 PDF BibTeX XML Cite \textit{N. Bazhenov}, Lect. Notes Comput. Sci. 10185, 85--96 (2017; Zbl 1459.03045) Full Text: DOI OpenURL
Khisamiev, Nazif G.; Latkin, Ivan V. On constructive nilpotent groups. (English) Zbl 1485.03114 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 324-353 (2017). MSC: 03C57 03D45 20F18 20F10 20K15 20K25 PDF BibTeX XML Cite \textit{N. G. Khisamiev} and \textit{I. V. Latkin}, Lect. Notes Comput. Sci. 10010, 324--353 (2017; Zbl 1485.03114) Full Text: DOI OpenURL
Franklin, Johanna N. Y. Strength and weakness in computable structure theory. (English) Zbl 1485.03111 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 302-323 (2017). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{J. N. Y. Franklin}, Lect. Notes Comput. Sci. 10010, 302--323 (2017; Zbl 1485.03111) Full Text: DOI OpenURL
Evron, Leigh; Mileti, Joseph R.; Ratliff-Crain, Ethan Irreducibles and primes in computable integral domains. (English) Zbl 1485.03175 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 238-253 (2017). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{L. Evron} et al., Lect. Notes Comput. Sci. 10010, 238--253 (2017; Zbl 1485.03175) Full Text: DOI arXiv Link OpenURL
Greenberg, Noam; Melnikov, Alexander Proper divisibility in computable rings. (English) Zbl 1370.03021 J. Algebra 474, 180-212 (2017). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D45 13G05 03D80 16U10 03F35 PDF BibTeX XML Cite \textit{N. Greenberg} and \textit{A. Melnikov}, J. Algebra 474, 180--212 (2017; Zbl 1370.03021) Full Text: DOI OpenURL
Bazhenov, Nikolay Categoricity spectra for polymodal algebras. (English) Zbl 1417.03233 Stud. Log. 104, No. 6, 1083-1097 (2016). MSC: 03C57 03C35 03D45 03D28 06E25 PDF BibTeX XML Cite \textit{N. Bazhenov}, Stud. Log. 104, No. 6, 1083--1097 (2016; Zbl 1417.03233) Full Text: DOI OpenURL
Downey, Rodney; Melnikov, Alexander G.; Ng, Keng Meng Abelian \(p\)-groups and the halting problem. (English) Zbl 1402.03067 Ann. Pure Appl. Logic 167, No. 11, 1123-1138 (2016). MSC: 03D45 03C57 20K99 PDF BibTeX XML Cite \textit{R. Downey} et al., Ann. Pure Appl. Logic 167, No. 11, 1123--1138 (2016; Zbl 1402.03067) Full Text: DOI OpenURL
Macintyre, Angus Turing meets Schanuel. (English) Zbl 1432.03063 Ann. Pure Appl. Logic 167, No. 10, 901-938 (2016). MSC: 03C60 11U09 03C57 03D45 12L12 PDF BibTeX XML Cite \textit{A. Macintyre}, Ann. Pure Appl. Logic 167, No. 10, 901--938 (2016; Zbl 1432.03063) Full Text: DOI OpenURL
Tucker, J. V.; Zucker, J. I. Generalizing computability theory to abstract algebras. (English) Zbl 1403.03077 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 127-160 (2015). MSC: 03D75 03D78 PDF BibTeX XML Cite \textit{J. V. Tucker} and \textit{J. I. Zucker}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 127--160 (2015; Zbl 1403.03077) Full Text: DOI Link OpenURL
Fokina, E. B.; Goncharov, S. S.; Harizanov, V.; Kudinov, O. V.; Turetsky, D. Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations. (English. Russian original) Zbl 1375.03036 Algebra Logic 54, No. 4, 336-341 (2015); translation from Algebra Logika 54, No. 4, 520-528 (2015). MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{E. B. Fokina} et al., Algebra Logic 54, No. 4, 336--341 (2015; Zbl 1375.03036); translation from Algebra Logika 54, No. 4, 520--528 (2015) Full Text: DOI OpenURL
Bazhenov, Nikolay Prime model with no degree of autostability relative to strong constructivizations. (English) Zbl 1461.03027 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 117-126 (2015). MSC: 03C57 03D45 06E05 PDF BibTeX XML Cite \textit{N. Bazhenov}, Lect. Notes Comput. Sci. 9136, 117--126 (2015; Zbl 1461.03027) Full Text: DOI OpenURL
Harrison-Trainor, Matthew; Melnikov, Alexander; Montalbán, Antonio Independence in computable algebra. (English) Zbl 1386.03051 J. Algebra 443, 441-468 (2015). MSC: 03D45 03C57 12Y05 PDF BibTeX XML Cite \textit{M. Harrison-Trainor} et al., J. Algebra 443, 441--468 (2015; Zbl 1386.03051) Full Text: DOI arXiv OpenURL
Hirschfeldt, Denis R.; Kramer, Ken; Miller, Russell; Shlapentokh, Alexandra Categoricity properties for computable algebraic fields. (English) Zbl 1347.03082 Trans. Am. Math. Soc. 367, No. 6, 3981-4017 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03C57 03C35 12L12 PDF BibTeX XML Cite \textit{D. R. Hirschfeldt} et al., Trans. Am. Math. Soc. 367, No. 6, 3981--4017 (2015; Zbl 1347.03082) Full Text: DOI arXiv OpenURL
Miller, Russell; Shlapentokh, Alexandra Computable categoricity for algebraic fields with splitting algorithms. (English) Zbl 1375.03052 Trans. Am. Math. Soc. 367, No. 6, 3955-3980 (2015). MSC: 03D45 03C57 03C35 12E05 12L12 PDF BibTeX XML Cite \textit{R. Miller} and \textit{A. Shlapentokh}, Trans. Am. Math. Soc. 367, No. 6, 3955--3980 (2015; Zbl 1375.03052) Full Text: DOI arXiv OpenURL
Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Lewis-Pye, Andrew E. M.; Montalbán, Antonio; Turetsky, Daniel D. The complexity of computable categoricity. (English) Zbl 1345.03063 Adv. Math. 268, 423-466 (2015). MSC: 03C57 03C35 03D45 03D60 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Adv. Math. 268, 423--466 (2015; Zbl 1345.03063) Full Text: DOI OpenURL
Bazhenov, N. A. 2-computably enumerable degrees of categoricity for Boolean algebras with distinguished automorphisms. (Russian, English) Zbl 1349.03042 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 1, 19-27 (2014); translation in J. Math. Sci., New York 211, No. 6, 738-746 (2015). MSC: 03D25 03D45 03C35 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 1, 19--27 (2014; Zbl 1349.03042); translation in J. Math. Sci., New York 211, No. 6, 738--746 (2015) Full Text: DOI OpenURL
Melnikov, Alexander G. Computable abelian groups. (English) Zbl 1345.03065 Bull. Symb. Log. 20, No. 3, 315-356 (2014). MSC: 03C57 03D45 20K99 PDF BibTeX XML Cite \textit{A. G. Melnikov}, Bull. Symb. Log. 20, No. 3, 315--356 (2014; Zbl 1345.03065) Full Text: DOI OpenURL
Downey, Rod; Melnikov, Alexander G.; Ng, Keng Meng Iterated effective embeddings of abelian \(p\)-groups. (English) Zbl 1339.03034 Int. J. Algebra Comput. 24, No. 7, 1055-1084 (2014). MSC: 03D50 03D45 03C57 20K10 PDF BibTeX XML Cite \textit{R. Downey} et al., Int. J. Algebra Comput. 24, No. 7, 1055--1084 (2014; Zbl 1339.03034) Full Text: DOI OpenURL
Degroote, Claudia; Demeyer, Jeroen Diophantine sets of polynomials over algebraic extensions of the rationals. (English) Zbl 1355.03034 J. Symb. Log. 79, No. 3, 733-747 (2014). MSC: 03D80 03D25 03B25 11U05 PDF BibTeX XML Cite \textit{C. Degroote} and \textit{J. Demeyer}, J. Symb. Log. 79, No. 3, 733--747 (2014; Zbl 1355.03034) Full Text: DOI Link OpenURL
Downey, Rodney; Melnikov, Alexander G. Computable completely decomposable groups. (English) Zbl 1341.03056 Trans. Am. Math. Soc. 366, No. 8, 4243-4266 (2014). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{R. Downey} and \textit{A. G. Melnikov}, Trans. Am. Math. Soc. 366, No. 8, 4243--4266 (2014; Zbl 1341.03056) Full Text: DOI OpenURL
Miller, Russell; Ovchinnikov, Alexey; Trushin, Dmitry Computing constraint sets for differential fields. (English) Zbl 1328.12012 J. Algebra 407, 316-357 (2014). MSC: 12H05 03D25 13N10 34M15 PDF BibTeX XML Cite \textit{R. Miller} et al., J. Algebra 407, 316--357 (2014; Zbl 1328.12012) Full Text: DOI arXiv OpenURL
Conidis, Chris J. Infinite dimensional proper subspaces of computable vector spaces. (English) Zbl 1338.03086 J. Algebra 406, 346-375 (2014). MSC: 03D45 03B30 03D15 03D55 03F35 PDF BibTeX XML Cite \textit{C. J. Conidis}, J. Algebra 406, 346--375 (2014; Zbl 1338.03086) Full Text: DOI OpenURL
Conidis, Chris J.; Shore, Richard A. The complexity of ascendant sequences in locally nilpotent groups. (English) Zbl 1350.03035 Int. J. Algebra Comput. 24, No. 2, 189-205 (2014). MSC: 03D80 20A15 20F14 20F19 PDF BibTeX XML Cite \textit{C. J. Conidis} and \textit{R. A. Shore}, Int. J. Algebra Comput. 24, No. 2, 189--205 (2014; Zbl 1350.03035) Full Text: DOI OpenURL
Berthomieu, Jérémy; Lecerf, Grégoire; Quintin, Guillaume Polynomial root finding over local rings and application to error correcting codes. (English) Zbl 1309.13034 Appl. Algebra Eng. Commun. Comput. 24, No. 6, 413-443 (2013). MSC: 13P05 94B05 94B35 PDF BibTeX XML Cite \textit{J. Berthomieu} et al., Appl. Algebra Eng. Commun. Comput. 24, No. 6, 413--443 (2013; Zbl 1309.13034) Full Text: DOI Link OpenURL
Bazhenov, N. A.; Tukhbatullina, R. R. Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism. (English. Russian original) Zbl 1315.03053 Algebra Logic 52, No. 2, 89-97 (2013); translation from Algebra Logika 52, No. 2, 131-144 (2013). MSC: 03C57 03C35 03D25 06E25 PDF BibTeX XML Cite \textit{N. A. Bazhenov} and \textit{R. R. Tukhbatullina}, Algebra Logic 52, No. 2, 89--97 (2013; Zbl 1315.03053); translation from Algebra Logika 52, No. 2, 131--144 (2013) Full Text: DOI OpenURL
Downey, Rodney; Melnikov, Alexander G. Effectively categorical abelian groups. (English) Zbl 1315.03054 J. Algebra 373, 223-248 (2013). MSC: 03C57 03C35 20K20 PDF BibTeX XML Cite \textit{R. Downey} and \textit{A. G. Melnikov}, J. Algebra 373, 223--248 (2013; Zbl 1315.03054) Full Text: DOI OpenURL
Steiner, Rebecca M. Computable fields and the bounded Turing reduction. (English) Zbl 1250.03057 Ann. Pure Appl. Logic 163, No. 6, 730-742 (2012). MSC: 03C57 03D30 12F05 12F10 PDF BibTeX XML Cite \textit{R. M. Steiner}, Ann. Pure Appl. Logic 163, No. 6, 730--742 (2012; Zbl 1250.03057) Full Text: DOI OpenURL
Goncharov, S. S. Degrees of autostability relative to strong constructivizations. (English. Russian original) Zbl 1294.03025 Proc. Steklov Inst. Math. 274, 105-115 (2011); translation from Tr. Mat. Inst. Steklova 274, 119-129 (2011). MSC: 03C57 PDF BibTeX XML Cite \textit{S. S. Goncharov}, Proc. Steklov Inst. Math. 274, 105--115 (2011; Zbl 1294.03025); translation from Tr. Mat. Inst. Steklova 274, 119--129 (2011) Full Text: DOI OpenURL
Berthomieu, Jérémy; van der Hoeven, Joris; Lecerf, Grégoire Relaxed algorithms for \(p\)-adic numbers. (English. French summary) Zbl 1247.11152 J. Théor. Nombres Bordx. 23, No. 3, 541-577 (2011). Reviewer: Maurice Mignotte (Strasbourg) MSC: 11Y40 11Y16 PDF BibTeX XML Cite \textit{J. Berthomieu} et al., J. Théor. Nombres Bordx. 23, No. 3, 541--577 (2011; Zbl 1247.11152) Full Text: DOI EuDML OpenURL
Miller, Russell; Ovchinnikov, Alexey Adapting Rabin’s theorem for differential fields. (English) Zbl 1345.03083 Löwe, Benedikt (ed.) et al., Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21874-3/pbk). Lecture Notes in Computer Science 6735, 211-220 (2011). MSC: 03D45 12H05 PDF BibTeX XML Cite \textit{R. Miller} and \textit{A. Ovchinnikov}, Lect. Notes Comput. Sci. 6735, 211--220 (2011; Zbl 1345.03083) Full Text: DOI OpenURL
Conidis, Chris J. Chain conditions in computable rings. (English) Zbl 1215.03017 Trans. Am. Math. Soc. 362, No. 12, 6523-6550 (2010). Reviewer: Antonio Montalbán (Chicago) MSC: 03B30 03D80 03F35 PDF BibTeX XML Cite \textit{C. J. Conidis}, Trans. Am. Math. Soc. 362, No. 12, 6523--6550 (2010; Zbl 1215.03017) Full Text: DOI OpenURL
Miller, Russell Is it harder to factor a polynomial or to find a root? (English) Zbl 1215.12005 Trans. Am. Math. Soc. 362, No. 10, 5261-5281 (2010). Reviewer: Roberto Dvornicich (Pisa) MSC: 12E05 03D45 03C57 12L05 PDF BibTeX XML Cite \textit{R. Miller}, Trans. Am. Math. Soc. 362, No. 10, 5261--5281 (2010; Zbl 1215.12005) Full Text: DOI OpenURL
Demeyer, Jeroen Diophantine sets of polynomials over number fields. (English) Zbl 1235.11115 Proc. Am. Math. Soc. 138, No. 8, 2715-2728 (2010). Reviewer: Luc Bélair (Montréal) MSC: 11U09 03D25 11D99 11R09 12E10 PDF BibTeX XML Cite \textit{J. Demeyer}, Proc. Am. Math. Soc. 138, No. 8, 2715--2728 (2010; Zbl 1235.11115) Full Text: DOI arXiv OpenURL
Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell Degrees of categoricity of computable structures. (English) Zbl 1184.03026 Arch. Math. Logic 49, No. 1, 51-67 (2010). MSC: 03C57 03C35 03D28 PDF BibTeX XML Cite \textit{E. B. Fokina} et al., Arch. Math. Logic 49, No. 1, 51--67 (2010; Zbl 1184.03026) Full Text: DOI OpenURL
Goncharov, S. S. Autostability of prime models under strong constructivizations. (English. Russian original) Zbl 1241.03043 Algebra Logic 48, No. 6, 410-417 (2009); translation from Algebra Logika 48, No. 6, 729-740 (2009). MSC: 03C57 03C15 03D45 PDF BibTeX XML Cite \textit{S. S. Goncharov}, Algebra Logic 48, No. 6, 410--417 (2009; Zbl 1241.03043); translation from Algebra Logika 48, No. 6, 729--740 (2009) Full Text: DOI OpenURL
Frolov, Andrey; Kalimullin, Iskander; Miller, Russell Spectra of algebraic fields and subfields. (English) Zbl 1268.03040 Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 232-241 (2009). MSC: 03C57 03D28 PDF BibTeX XML Cite \textit{A. Frolov} et al., Lect. Notes Comput. Sci. 5635, 232--241 (2009; Zbl 1268.03040) Full Text: DOI Link OpenURL
Conidis, Chris J. On the complexity of radicals in noncommutative rings. (English) Zbl 1182.03073 J. Algebra 322, No. 10, 3670-3680 (2009). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D45 03E15 16N80 PDF BibTeX XML Cite \textit{C. J. Conidis}, J. Algebra 322, No. 10, 3670--3680 (2009; Zbl 1182.03073) Full Text: DOI OpenURL
Miller, Russell \(d\)-computable categoricity for algebraic fields. (English) Zbl 1202.03044 J. Symb. Log. 74, No. 4, 1325-1351 (2009). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{R. Miller}, J. Symb. Log. 74, No. 4, 1325--1351 (2009; Zbl 1202.03044) Full Text: DOI OpenURL
Dershowitz, Nachum; Gurevich, Yuri A natural axiomatization of computability and proof of Church’s thesis. (English) Zbl 1167.03027 Bull. Symb. Log. 14, No. 3, 299-350 (2008). Reviewer: Leon Harkleroad (Wilton) MSC: 03D10 03D20 PDF BibTeX XML Cite \textit{N. Dershowitz} and \textit{Y. Gurevich}, Bull. Symb. Log. 14, No. 3, 299--350 (2008; Zbl 1167.03027) Full Text: DOI OpenURL
Brooksbank, Peter A.; Luks, Eugene M. Testing isomorphism of modules. (English) Zbl 1172.16022 J. Algebra 320, No. 11, 4020-4029 (2008). MSC: 16Z05 16S50 16P10 16G30 68W30 16-04 PDF BibTeX XML Cite \textit{P. A. Brooksbank} and \textit{E. M. Luks}, J. Algebra 320, No. 11, 4020--4029 (2008; Zbl 1172.16022) Full Text: DOI Link OpenURL
Lecerf, Grégoire Fast separable factorization and applications. (English) Zbl 1205.12008 Appl. Algebra Eng. Commun. Comput. 19, No. 2, 135-160 (2008). MSC: 12Y05 68W30 11Y16 13P05 PDF BibTeX XML Cite \textit{G. Lecerf}, Appl. Algebra Eng. Commun. Comput. 19, No. 2, 135--160 (2008; Zbl 1205.12008) Full Text: DOI OpenURL
Demeyer, Jeroen Recursively enumerable sets of polynomials over a finite field are Diophantine. (English) Zbl 1138.11055 Invent. Math. 170, No. 3, 655-670 (2007). Reviewer: Sun Zhi-Wei (Nanjing) MSC: 11T06 03D25 11U05 PDF BibTeX XML Cite \textit{J. Demeyer}, Invent. Math. 170, No. 3, 655--670 (2007; Zbl 1138.11055) Full Text: DOI Link OpenURL
Downey, Rodney G.; Lempp, Steffen; Mileti, Joseph R. Ideals in computable rings. (English) Zbl 1127.03037 J. Algebra 314, No. 2, 872-887 (2007). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D45 03B30 03F35 PDF BibTeX XML Cite \textit{R. G. Downey} et al., J. Algebra 314, No. 2, 872--887 (2007; Zbl 1127.03037) Full Text: DOI Link OpenURL
Demeyer, Jeroen Recursively enumerable sets of polynomials over a finite field. (English) Zbl 1160.11051 J. Algebra 310, No. 2, 801-828 (2007). Reviewer: Luc Bélair (Montréal) MSC: 11U09 11T06 03D25 11U05 PDF BibTeX XML Cite \textit{J. Demeyer}, J. Algebra 310, No. 2, 801--828 (2007; Zbl 1160.11051) Full Text: DOI Link OpenURL
Waterhouse, William C. Polynomials for the Jordan decomposition in characteristic \(p\). (English) Zbl 1061.15010 Linear Algebra Appl. 392, 39-44 (2004). Reviewer: Mihail Voicu (Iaşi) MSC: 15A21 PDF BibTeX XML Cite \textit{W. C. Waterhouse}, Linear Algebra Appl. 392, 39--44 (2004; Zbl 1061.15010) Full Text: DOI OpenURL
Downey, Rodney G.; Hirschfeldt, Denis R.; Lempp, Steffen; Solomon, Reed Computability-theoretic and proof-theoretic aspects of partial and linear orderings. (English) Zbl 1044.03043 Isr. J. Math. 138, 271-289 (2003). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03D45 03B30 06A05 06A06 06A07 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Isr. J. Math. 138, 271--289 (2003; Zbl 1044.03043) Full Text: DOI OpenURL
Chisholm, John; Moses, Michael An undecidable linear order that is \(n\)-decidable for all \(n\). (English) Zbl 0966.03043 Notre Dame J. Formal Logic 39, No. 4, 519-526 (1998). MSC: 03D45 06A05 03D35 03B25 PDF BibTeX XML Cite \textit{J. Chisholm} and \textit{M. Moses}, Notre Dame J. Formal Logic 39, No. 4, 519--526 (1998; Zbl 0966.03043) Full Text: DOI OpenURL
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil Decidable Kripke models of intuitionistic theories. (English) Zbl 0924.03060 Ann. Pure Appl. Logic 93, No. 1-3, 115-123 (1998). MSC: 03C57 03C90 PDF BibTeX XML Cite \textit{H. Ishihara} et al., Ann. Pure Appl. Logic 93, No. 1--3, 115--123 (1998; Zbl 0924.03060) Full Text: DOI OpenURL
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil Computable Kripke models and intermediate logics. (English) Zbl 0913.03033 Inf. Comput. 143, No. 2, 205-230 (1998). Reviewer: M.M.Arslanov (Kazan’) MSC: 03B55 03C57 03D45 PDF BibTeX XML Cite \textit{H. Ishihara} et al., Inf. Comput. 143, No. 2, 205--230 (1998; Zbl 0913.03033) Full Text: DOI Link OpenURL
Naudin, Patrice; Quitté, Claude Univariate polynomial factorization over finite fields. (English) Zbl 0914.11064 Theor. Comput. Sci. 191, No. 1-2, 1-36 (1998). Reviewer: Ian F.Blake (Palo Alto) MSC: 11Y16 11T06 68W30 PDF BibTeX XML Cite \textit{P. Naudin} and \textit{C. Quitté}, Theor. Comput. Sci. 191, No. 1--2, 1--36 (1998; Zbl 0914.11064) Full Text: DOI OpenURL
Gianni, P.; Trager, B. Square-free algorithms in positive characteristic. (English) Zbl 0874.12009 Appl. Algebra Eng. Commun. Comput. 7, No. 1, 1-14 (1996). MSC: 12Y05 68Q25 PDF BibTeX XML Cite \textit{P. Gianni} and \textit{B. Trager}, Appl. Algebra Eng. Commun. Comput. 7, No. 1, 1--14 (1996; Zbl 0874.12009) Full Text: DOI OpenURL
Ligatsikas, Zenon; Rioboo, R.; Roy, M. F. Generic computation of the real closure of an ordered field. (English) Zbl 1037.68546 Math. Comput. Simul. 42, No. 4-6, 541-549 (1996). MSC: 68W30 12J15 PDF BibTeX XML Cite \textit{Z. Ligatsikas} et al., Math. Comput. Simul. 42, No. 4--6, 541--549 (1996; Zbl 1037.68546) Full Text: DOI OpenURL
Sigstam, Inger Formal spaces and their effective presentations. (English) Zbl 0829.03026 Arch. Math. Logic 34, No. 4, 211-246 (1995). Reviewer: I.Sigstam (Uppsala) MSC: 03D45 PDF BibTeX XML Cite \textit{I. Sigstam}, Arch. Math. Logic 34, No. 4, 211--246 (1995; Zbl 0829.03026) Full Text: DOI OpenURL
Singer, Michael F.; Ulmer, Felix Necessary conditions for Liouvillian solutions of (third order) linear differential equations. (English) Zbl 0813.12003 Appl. Algebra Eng. Commun. Comput. 6, No. 1, 1-22 (1995). Reviewer: N.Sankaran (Chandigarh) MSC: 12H05 34A30 12F10 PDF BibTeX XML Cite \textit{M. F. Singer} and \textit{F. Ulmer}, Appl. Algebra Eng. Commun. Comput. 6, No. 1, 1--22 (1995; Zbl 0813.12003) Full Text: DOI OpenURL
Vlach, Alan D. Hyperarithmetical relations in expansions of recursive structures. (English) Zbl 0793.03039 Ann. Pure Appl. Logic 66, No. 2, 163-196 (1994). Reviewer: A.D.Vlach (Mount Berry, GA) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{A. D. Vlach}, Ann. Pure Appl. Logic 66, No. 2, 163--196 (1994; Zbl 0793.03039) Full Text: DOI OpenURL
Downey, Rod; Stob, Michael Friedberg splittings of recursively enumerable sets. (English) Zbl 0795.03057 Ann. Pure Appl. Logic 59, No. 3, 175-199 (1993). Reviewer: Lei Quian (Nanjing) MSC: 03D25 PDF BibTeX XML Cite \textit{R. Downey} and \textit{M. Stob}, Ann. Pure Appl. Logic 59, No. 3, 175--199 (1993; Zbl 0795.03057) Full Text: DOI OpenURL
von zur Gathen, Joachim Functional decomposition of polynomials: the wild case. (English) Zbl 0722.12003 J. Symb. Comput. 10, No. 5, 437-452 (1990). Reviewer: Geert Molenberghs (Antwerpen) MSC: 12E05 12Y05 11Y16 68W10 68W30 11T06 PDF BibTeX XML Cite \textit{J. von zur Gathen}, J. Symb. Comput. 10, No. 5, 437--452 (1990; Zbl 0722.12003) Full Text: DOI OpenURL
Patera, J.; Zassenhaus, Hans Solvable Lie algebras of dimension \(\leq 4\) over perfect fields. (English) Zbl 0718.17010 Linear Algebra Appl. 142, 1-17 (1990). Reviewer: E.L.Stitzinger (Raleigh) MSC: 17B30 PDF BibTeX XML Cite \textit{J. Patera} and \textit{H. Zassenhaus}, Linear Algebra Appl. 142, 1--17 (1990; Zbl 0718.17010) Full Text: DOI OpenURL
von zur Gathen, Joachim Functional decomposition of polynomials: the tame case. (English) Zbl 0716.68053 J. Symb. Comput. 9, No. 3, 281-299 (1990). Reviewer: Gary L. Ebert MSC: 68W30 12Y05 11Y16 12E05 PDF BibTeX XML Cite \textit{J. von zur Gathen}, J. Symb. Comput. 9, No. 3, 281--299 (1990; Zbl 0716.68053) Full Text: DOI OpenURL
Gaál, I. Integral elements with given discriminant over function fields. (English) Zbl 0661.12005 Acta Math. Hung. 52, No. 1-2, 133-146 (1988). Reviewer: E.-U.Gekeler MSC: 11R58 11R21 11R04 PDF BibTeX XML Cite \textit{I. Gaál}, Acta Math. Hung. 52, No. 1--2, 133--146 (1988; Zbl 0661.12005) Full Text: DOI OpenURL
Kaltofen, E. Deterministic irreducibility testing of polynomials over large finite fields. (English) Zbl 0683.68037 J. Symb. Comput. 4, No. 1, 77-82 (1987). Reviewer: J.Buchmann MSC: 11T06 11Y16 68W30 PDF BibTeX XML Cite \textit{E. Kaltofen}, J. Symb. Comput. 4, 77--82 (1987; Zbl 0683.68037) Full Text: DOI OpenURL
Downey, R. G.; Kurtz, Stuart A. Recursion theory and ordered groups. (English) Zbl 0629.03020 Ann. Pure Appl. Logic 32, 137-151 (1986). MSC: 03D45 06F15 06F20 PDF BibTeX XML Cite \textit{R. G. Downey} and \textit{S. A. Kurtz}, Ann. Pure Appl. Logic 32, 137--151 (1986; Zbl 0629.03020) Full Text: DOI OpenURL
Simpson, Stephen G.; Smith, Rick L. Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction. (English) Zbl 0603.03019 Ann. Pure Appl. Logic 31, 289-306 (1986). MSC: 03F35 12L15 12E05 PDF BibTeX XML Cite \textit{S. G. Simpson} and \textit{R. L. Smith}, Ann. Pure Appl. Logic 31, 289--306 (1986; Zbl 0603.03019) Full Text: DOI OpenURL
Schrieber, Leonard Recursive properties of Euclidean domains. (English) Zbl 0574.03029 Ann. Pure Appl. Logic 29, 59-77 (1985). Reviewer: P.Clote MSC: 03D45 03C57 03F65 PDF BibTeX XML Cite \textit{L. Schrieber}, Ann. Pure Appl. Logic 29, 59--77 (1985; Zbl 0574.03029) Full Text: DOI OpenURL
Fried, Michael; Haran, Dan; Jarden, Moshe Galois stratification over Frobenius fields. (English) Zbl 0554.12016 Adv. Math. 51, 1-35 (1984). Reviewer: A.Prestel MSC: 12L05 14G05 12F10 03B25 PDF BibTeX XML Cite \textit{M. Fried} et al., Adv. Math. 51, 1--35 (1984; Zbl 0554.12016) Full Text: DOI OpenURL
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L. Countable algebra and set existence axioms. (English) Zbl 0575.03038 Ann. Pure Appl. Logic 25, 141-181 (1983). Reviewer: G.Fuhrken MSC: 03F35 03E30 03B30 03A05 PDF BibTeX XML Cite \textit{H. M. Friedman} et al., Ann. Pure Appl. Logic 25, 141--181 (1983; Zbl 0575.03038) Full Text: DOI OpenURL
Crossley, John N. The given. (English) Zbl 0536.03024 Stud. Log. 41, 131-139 (1982). MSC: 03D45 03E70 PDF BibTeX XML Cite \textit{J. N. Crossley}, Stud. Log. 41, 131--139 (1982; Zbl 0536.03024) Full Text: DOI OpenURL
Tucker, J. V. Computability and the algebra of fields: Some affine constructions. (English) Zbl 0481.03020 J. Symb. Log. 45, 103-120 (1980). MSC: 03C57 03D45 12L05 03F60 03B25 03C10 PDF BibTeX XML Cite \textit{J. V. Tucker}, J. Symb. Log. 45, 103--120 (1980; Zbl 0481.03020) Full Text: DOI OpenURL
Metakides, G.; Nerode, A. Recursion theory on fields and abstract dependence. (English) Zbl 0469.03029 J. Algebra 65, 36-59 (1980). MSC: 03D45 12L99 PDF BibTeX XML Cite \textit{G. Metakides} and \textit{A. Nerode}, J. Algebra 65, 36--59 (1980; Zbl 0469.03029) Full Text: DOI OpenURL
Crossley, J. N.; Nerode, Anil Effective dimension. (English) Zbl 0344.02036 J. Algebra 41, 398-412 (1976). MSC: 03D50 PDF BibTeX XML Cite \textit{J. N. Crossley} and \textit{A. Nerode}, J. Algebra 41, 398--412 (1976; Zbl 0344.02036) Full Text: DOI OpenURL