Fiori-Carones, M. Variations of statement, variations of strength. The case of the Rival-Sands theorems. (English) Zbl 07798371 J. Math. Sci., New York 275, No. 1, 1-15 (2023). MSC: 03Dxx 03Fxx 03Bxx PDFBibTeX XMLCite \textit{M. Fiori-Carones}, J. Math. Sci., New York 275, No. 1, 1--15 (2023; Zbl 07798371) Full Text: DOI
Khlestova, E. Arithmetical decidability of homogeneous and almost prime countable models of Ehrenfeucht theories with arithmetical types. (English) Zbl 07798286 J. Math. Sci., New York 267, No. 4, 483-486 (2022). MSC: 03Cxx 03Dxx 03-XX PDFBibTeX XMLCite \textit{E. Khlestova}, J. Math. Sci., New York 267, No. 4, 483--486 (2022; Zbl 07798286) Full Text: DOI
Askarbekkyzy, A.; Bazhenov, N. A.; Kalmurzayev, B. S. Computable reducibility for computable linear orders of type \(\omega \). (English) Zbl 07798281 J. Math. Sci., New York 267, No. 4, 429-443 (2022). MSC: 03Dxx 03Cxx 03-XX PDFBibTeX XMLCite \textit{A. Askarbekkyzy} et al., J. Math. Sci., New York 267, No. 4, 429--443 (2022; Zbl 07798281) Full Text: DOI
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 PDFBibTeX XMLCite \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
Kalimullin, I. Sh.; Selivanov, V. L.; Frolov, A. N. Degree spectra of structures. (English. Russian original) Zbl 07364542 J. Math. Sci., New York 256, No. 2, 143-159 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23-39 (2018). MSC: 03D45 03C57 PDFBibTeX XMLCite \textit{I. Sh. Kalimullin} et al., J. Math. Sci., New York 256, No. 2, 143--159 (2021; Zbl 07364542); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23--39 (2018) Full Text: DOI
Selivanov, V. L. Precomplete numberings. (English. Russian original) Zbl 07364540 J. Math. Sci., New York 256, No. 1, 96-124 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 106-134 (2018). MSC: 03D45 03C57 PDFBibTeX XMLCite \textit{V. L. Selivanov}, J. Math. Sci., New York 256, No. 1, 96--124 (2021; Zbl 07364540); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 106--134 (2018) Full Text: DOI
Frolov, A. N.; Zubkov, M. V. Computable linear orders and limitwise monotonic functions. (English. Russian original) Zbl 07364539 J. Math. Sci., New York 256, No. 1, 61-95 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 70-105 (2018). MSC: 03D45 03C57 PDFBibTeX XMLCite \textit{A. N. Frolov} and \textit{M. V. Zubkov}, J. Math. Sci., New York 256, No. 1, 61--95 (2021; Zbl 07364539); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 70--105 (2018) Full Text: DOI
Kalimullin, I. Sh.; Faizrahmanov, M. Kh. Degrees of enumerations of countable Wehner-like families. (English. Russian original) Zbl 07364538 J. Math. Sci., New York 256, No. 1, 51-60 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 59-69 (2018). MSC: 03D20 03D45 PDFBibTeX XMLCite \textit{I. Sh. Kalimullin} and \textit{M. Kh. Faizrahmanov}, J. Math. Sci., New York 256, No. 1, 51--60 (2021; Zbl 07364538); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 59--69 (2018) Full Text: DOI
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 PDFBibTeX XMLCite \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
Arslanov, M. M.; Yamaleev, M. M. Turing computability: structural theory. (English. Russian original) Zbl 07364536 J. Math. Sci., New York 256, No. 1, 1-33 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 8-41 (2018). MSC: 03C57 03D25 03D28 03D45 03D55 PDFBibTeX XMLCite \textit{M. M. Arslanov} and \textit{M. M. Yamaleev}, J. Math. Sci., New York 256, No. 1, 1--33 (2021; Zbl 07364536); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 8--41 (2018) Full Text: DOI
Bunina, E. I.; Yugay, N. V. Elementary equivalence of endomorphism monoids of almost free \(S\)-acts. (English. Russian original) Zbl 1483.20115 J. Math. Sci., New York 237, No. 2, 180-190 (2019); translation from Fundam. Prikl. Mat. 21, No. 2, 37-52 (2016). MSC: 20M30 20M32 20M50 03C60 18B99 PDFBibTeX XMLCite \textit{E. I. Bunina} and \textit{N. V. Yugay}, J. Math. Sci., New York 237, No. 2, 180--190 (2019; Zbl 1483.20115); translation from Fundam. Prikl. Mat. 21, No. 2, 37--52 (2016) Full Text: DOI
Bunina, E. I.; Mikhalev, A. V.; Solovyev, I. O. Elementary equivalence of stable linear groups over local commutative rings with \(1/2\). (English. Russian original) Zbl 1401.20053 J. Math. Sci., New York 233, No. 5, 646-655 (2018); translation from Fundam. Prikl. Mat. 21, No. 1, 65-78 (2016). MSC: 20G35 03C60 20A15 03C52 PDFBibTeX XMLCite \textit{E. I. Bunina} et al., J. Math. Sci., New York 233, No. 5, 646--655 (2018; Zbl 1401.20053); translation from Fundam. Prikl. Mat. 21, No. 1, 65--78 (2016) Full Text: DOI
Roizner, M. A. A criterion of elementary equivalence of automorphism groups of unreduced abelian \(p\)-groups. (English. Russian original) Zbl 1321.20034 J. Math. Sci., New York 201, No. 4, 519-526 (2014); translation from Fundam. Prikl. Mat. 18, No. 1, 159-170 (2013). MSC: 20F28 03C60 03C85 20K10 20K30 PDFBibTeX XMLCite \textit{M. A. Roizner}, J. Math. Sci., New York 201, No. 4, 519--526 (2014; Zbl 1321.20034); translation from Fundam. Prikl. Mat. 18, No. 1, 159--170 (2013) Full Text: DOI
Roizner, M. A. A criterion of elementary equivalence of automorphism groups of reduced Abelian \(p\)-groups. (English. Russian original) Zbl 1279.20043 J. Math. Sci., New York 193, No. 4, 586-590 (2013); translation from Fundam. Prikl. Mat. 17(2011/12), No. 5, 157-163 (2012). MSC: 20F28 03C60 03C85 20K10 20K30 20A15 PDFBibTeX XMLCite \textit{M. A. Roizner}, J. Math. Sci., New York 193, No. 4, 586--590 (2013; Zbl 1279.20043); translation from Fundam. Prikl. Mat. 17(2011/12), No. 5, 157--163 (2012) Full Text: DOI
Pentus, A. E.; Pentus, M. R. The atomic theory of left division of two-sided ideals of semirings with unit. (English. Russian original) Zbl 1345.03023 J. Math. Sci., New York 193, No. 4, 566-579 (2013); translation from Fundam. Prikl. Mat. 17(2011/12), No. 5, 129-146 (2012). MSC: 03B25 03B47 16Y60 PDFBibTeX XMLCite \textit{A. E. Pentus} and \textit{M. R. Pentus}, J. Math. Sci., New York 193, No. 4, 566--579 (2013; Zbl 1345.03023); translation from Fundam. Prikl. Mat. 17(2011/12), No. 5, 129--146 (2012) Full Text: DOI
Kulpeshov, B. Sh. Countably categorical quite o-minimal theories. (English. Russian original) Zbl 1280.03043 J. Math. Sci., New York 188, No. 4, 387-397 (2013); translation from Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 11, No. 1, 45-57 (2011). Reviewer: Tim Netzer (Leipzig) MSC: 03C64 03C35 PDFBibTeX XMLCite \textit{B. Sh. Kulpeshov}, J. Math. Sci., New York 188, No. 4, 387--397 (2013; Zbl 1280.03043); translation from Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 11, No. 1, 45--57 (2011) Full Text: DOI
Davydow, A. P.; Nikolenko, S. I. Circuit complexity of linear functions: gate elimination and feeble security. (English. Russian original) Zbl 1262.94022 J. Math. Sci., New York 188, No. 1, 35-46 (2013); translation from Zap. Nauchn. Semin. POMI 399, 65-87 (2012). MSC: 94A60 94C10 PDFBibTeX XMLCite \textit{A. P. Davydow} and \textit{S. I. Nikolenko}, J. Math. Sci., New York 188, No. 1, 35--46 (2013; Zbl 1262.94022); translation from Zap. Nauchn. Semin. POMI 399, 65--87 (2012) Full Text: DOI
Dudakov, S. M. Sufficient conditions for effective translation of locally generic queries. (English. Russian original) Zbl 1221.68081 J. Math. Sci., New York 172, No. 5, 654-662 (2011); translation from Fundam. Prikl. Mat. 15, No. 5, 49-61 (2009). MSC: 68P15 03C07 PDFBibTeX XMLCite \textit{S. M. Dudakov}, J. Math. Sci., New York 172, No. 5, 654--662 (2011; Zbl 1221.68081); translation from Fundam. Prikl. Mat. 15, No. 5, 49--61 (2009) Full Text: DOI
El Khoury, A.; Soloviev, S.; Méhats, L.; Spivakovsky, M. Categorical interpretation of logical derivations and its applications in algebra. (English. Russian original) Zbl 1288.03029 J. Math. Sci., New York 168, No. 3, 491-503 (2010); translation from Zap. Nauchn. Semin. POMI 373, 318-344 (2009). MSC: 03F03 03G30 18A15 PDFBibTeX XMLCite \textit{A. El Khoury} et al., J. Math. Sci., New York 168, No. 3, 491--503 (2010; Zbl 1288.03029); translation from Zap. Nauchn. Semin. POMI 373, 318--344 (2009) Full Text: DOI
Palyutin, E. A. Interpretation of graphs in noncommutative theories of Frechet powers. (English. Russian original) Zbl 1288.03024 J. Math. Sci., New York 167, No. 6, 825-840 (2010); translation from Fundam. Prikl. Mat. 15, No. 2, 145-167 (2009). MSC: 03C45 PDFBibTeX XMLCite \textit{E. A. Palyutin}, J. Math. Sci., New York 167, No. 6, 825--840 (2010; Zbl 1288.03024); translation from Fundam. Prikl. Mat. 15, No. 2, 145--167 (2009) Full Text: DOI
Yeshkeyev, A. R. On Jonsson stability and some of its generalizations. (English. Russian original) Zbl 1288.03025 J. Math. Sci., New York 166, No. 5, 646-654 (2010); translation from Fundam. Prikl. Mat. 14, No. 8, 117-128 (2008). MSC: 03C45 PDFBibTeX XMLCite \textit{A. R. Yeshkeyev}, J. Math. Sci., New York 166, No. 5, 646--654 (2010; Zbl 1288.03025); translation from Fundam. Prikl. Mat. 14, No. 8, 117--128 (2008) Full Text: DOI
Sudoplatov, S. V. Hypergraphs of prime models and distributions of countable models of small theories. (English. Russian original) Zbl 1229.03032 J. Math. Sci., New York 169, No. 5, 680-695 (2010); translation from Fundam. Prikl. Mat. 15, No. 7, 179-203 (2009). MSC: 03C15 05C65 PDFBibTeX XMLCite \textit{S. V. Sudoplatov}, J. Math. Sci., New York 169, No. 5, 680--695 (2010; Zbl 1229.03032); translation from Fundam. Prikl. Mat. 15, No. 7, 179--203 (2009) Full Text: DOI
Bunina, E. I.; Roizner, M. A. Elementary equivalence of the automorphism groups of Abelian \(p\)-groups. (English. Russian original) Zbl 1219.20026 J. Math. Sci., New York 169, No. 5, 614-635 (2010); translation from Fundam. Prikl. Mat. 15, No. 7, 81-112 (2009). MSC: 20F28 03C60 03C85 20K10 20K30 PDFBibTeX XMLCite \textit{E. I. Bunina} and \textit{M. A. Roizner}, J. Math. Sci., New York 169, No. 5, 614--635 (2010; Zbl 1219.20026); translation from Fundam. Prikl. Mat. 15, No. 7, 81--112 (2009) Full Text: DOI
Mints, G.; Hoshi, T. Logical equations in monadic logic. (English. Russian original) Zbl 1190.03014 J. Math. Sci., New York 158, No. 5, 741-752 (2009); translation from Zap. Nauchn. Semin. POMI 358, 251-270 (2008). Reviewer: M. Yasuhara (Princeton) MSC: 03B10 03C10 PDFBibTeX XMLCite \textit{G. Mints} and \textit{T. Hoshi}, J. Math. Sci., New York 158, No. 5, 741--752 (2009; Zbl 1190.03014); translation from Zap. Nauchn. Semin. POMI 358, 251--270 (2008) Full Text: DOI
Cavagnetto, S. The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem. (English) Zbl 1207.03071 J. Math. Sci., New York 158, No. 5, 689-707 (2009) and Zap. Nauchn. Semin. POMI 358, 153-188 (2008). Reviewer: Emil Jeřábek (Praha) MSC: 03F07 03F20 03F30 03F40 PDFBibTeX XMLCite \textit{S. Cavagnetto}, J. Math. Sci., New York 158, No. 5, 689--707 (2009; Zbl 1207.03071) Full Text: DOI
Guessarian, I.; Cégielski, P. Tree inclusions in windows and slices. (English. Russian original) Zbl 1178.68175 J. Math. Sci., New York 158, No. 5, 623-632 (2009); translation from Zap. Nauchn. Semin. POMI 358, 38-53 (2008). MSC: 68P05 68Q25 68W05 PDFBibTeX XMLCite \textit{I. Guessarian} and \textit{P. Cégielski}, J. Math. Sci., New York 158, No. 5, 623--632 (2009; Zbl 1178.68175); translation from Zap. Nauchn. Semin. POMI 358, 38--53 (2008) Full Text: DOI
Vakulenko, S.; Grigoriev, D. Instability, complexity, and evolution. (English. Russian original) Zbl 1211.37121 J. Math. Sci., New York 158, No. 6, 787-808 (2009); translation from Zap. Nauchn. Semin. POMI 360, 31-69 (2008). Reviewer: Henri Schurz (Carbondale) MSC: 37N25 68Q30 60H10 60H15 60H30 93E15 PDFBibTeX XMLCite \textit{S. Vakulenko} and \textit{D. Grigoriev}, J. Math. Sci., New York 158, No. 6, 787--808 (2009; Zbl 1211.37121); translation from Zap. Nauchn. Semin. POMI 360, 31--69 (2008) Full Text: DOI
Mycielski, Jan Pure mathematics and physical reality (continuity and computability). (English. Russian original) Zbl 1154.03319 J. Math. Sci., New York 146, No. 1, 5552-5563 (2007); translation from Fundam. Prikl. Mat. 11, No. 5, 151-168 (2005). MSC: 03F60 00A79 PDFBibTeX XMLCite \textit{J. Mycielski}, J. Math. Sci., New York 146, No. 1, 5552--5563 (2007; Zbl 1154.03319); translation from Fundam. Prikl. Mat. 11, No. 5, 151--168 (2005) Full Text: DOI
Farah, Ilijas Reductions between meager ideals. (English. Russian original) Zbl 1154.03308 J. Math. Sci., New York 144, No. 5, 4511-4515 (2007); translation from Fundam. Prikl. Mat. 11, No. 4, 213-219 (2005). MSC: 03E05 03E15 PDFBibTeX XMLCite \textit{I. Farah}, J. Math. Sci., New York 144, No. 5, 4511--4515 (2007; Zbl 1154.03308); translation from Fundam. Prikl. Mat. 11, No. 4, 213--219 (2005) Full Text: DOI
Shlapentokh, A. Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic. (English. Russian original) Zbl 1140.11356 J. Math. Sci., New York 130, No. 2, 4631-4642 (2005); and Zap. Nauchn. Semin. POMI 304, 141-167 (2003). MSC: 11U05 03D35 12Y05 PDFBibTeX XMLCite \textit{A. Shlapentokh}, J. Math. Sci., New York 130, No. 2, 4631--4642 (2005; Zbl 1140.11356) Full Text: DOI
Pollett, C. \(S_{k,\text{exp}}\) does not prove \(\text{NP} = \text{co-NP}\) uniformly. (English) Zbl 1145.03337 J. Math. Sci., New York 130, No. 2, 4607-4619 (2005); and Zap. Nauchn. Semin. POMI 304, 99-120 (2003). MSC: 03F30 03F20 03D15 68Q15 PDFBibTeX XMLCite \textit{C. Pollett}, J. Math. Sci., New York 130, No. 2, 4607--4619 (2005; Zbl 1145.03337) Full Text: DOI
Zaslavskiĭ, I. D. Formal axiomatic theories based on a three-valued logic. (English. Russian original) Zbl 1145.03014 J. Math. Sci., New York 130, No. 2, 4578-4597 (2005); translation from Zap. Nauchn. Semin. POMI 304, 19-74 (2003). MSC: 03B50 03F25 03F30 PDFBibTeX XMLCite \textit{I. D. Zaslavskiĭ}, J. Math. Sci., New York 130, No. 2, 4578--4597 (2005; Zbl 1145.03014); translation from Zap. Nauchn. Semin. POMI 304, 19--74 (2003) Full Text: DOI
Boughattas, S.; Ressayre, J.-P. New models of bounded induction axioms. (English) Zbl 1145.03336 J. Math. Sci., New York 130, No. 2, 4574-4577 (2005); and Zap. Nauchn. Semin. POMI 304, 13-18 (2003). MSC: 03F30 03C62 PDFBibTeX XMLCite \textit{S. Boughattas} and \textit{J. P. Ressayre}, J. Math. Sci., New York 130, No. 2, 4574--4577 (2005; Zbl 1145.03336) Full Text: DOI
Bel’tyukov, A. P. A weak constructive second-order arithmetic with extraction of algorithms computable in polynomial time. (English. Russian original) Zbl 1145.03338 J. Math. Sci., New York 130, No. 2, 4571-4573 (2005); translation from Zap. Nauchn. Semin. POMI 304, 7-12 (2003). MSC: 03F35 03D15 PDFBibTeX XMLCite \textit{A. P. Bel'tyukov}, J. Math. Sci., New York 130, No. 2, 4571--4573 (2005; Zbl 1145.03338); translation from Zap. Nauchn. Semin. POMI 304, 7--12 (2003) Full Text: DOI
Bunina, E. I.; Mikhalev, A. V. Elementary equivalence of categories of modules and other algebraic structures. (English. Russian original) Zbl 1144.16300 J. Math. Sci., New York 131, No. 5, 6004-6013 (2005); translation from Sovrem. Mat. Prilozh. 13, 131-139 (2004). MSC: 16B70 16D90 20G15 20A15 03C60 PDFBibTeX XMLCite \textit{E. I. Bunina} and \textit{A. V. Mikhalev}, J. Math. Sci., New York 131, No. 5, 6004--6013 (2005; Zbl 1144.16300); translation from Sovrem. Mat. Prilozh. 13, 131--139 (2004) Full Text: DOI
Matiyasevich, Yu. V. (ed.) Theory of computational complexity. Part 8. Transl. from the Russian. (English) Zbl 1078.68520 J. Math. Sci., New York 130, No. 2, 4571-4642 (2005). MSC: 68-06 03-06 12-06 00B15 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich} (ed.), J. Math. Sci., New York 130, No. 2, 4571--4642 (2005; Zbl 1078.68520) Full Text: DOI
Puninskaya, V. A. Modules with few types over a commutative valuation ring. (English) Zbl 0986.03033 J. Math. Sci., New York 102, No. 6, 4652-4661 (2000). MSC: 03C60 03C45 16B70 13L05 PDFBibTeX XMLCite \textit{V. A. Puninskaya}, J. Math. Sci., New York 102, No. 6, 4652--4661 (2000; Zbl 0986.03033) Full Text: DOI
Tuganbaev, A. A. Endomorphism rings, power series rings, and serial modules. (English) Zbl 0944.16027 J. Math. Sci., New York 97, No. 6, 4538-4654 (1999). Reviewer: A.I.Kashu (Kishinev) MSC: 16S50 16-02 16D80 16W60 16S36 PDFBibTeX XMLCite \textit{A. A. Tuganbaev}, J. Math. Sci., New York 97, No. 6, 4538--4654 (1999; Zbl 0944.16027) Full Text: DOI
Tuganbaev, A. A. Semidistributive modules. (English) Zbl 0936.16007 J. Math. Sci., New York 94, No. 6, 1809-1887 (1999). Reviewer: A.I.Kashu (Kishinev) MSC: 16D70 16-02 PDFBibTeX XMLCite \textit{A. A. Tuganbaev}, J. Math. Sci., New York 94, No. 6, 1809--1887 (1999; Zbl 0936.16007) Full Text: DOI
Bogachev, V. I. Measures on topological spaces. (English) Zbl 0910.28009 J. Math. Sci., New York 91, No. 4, 3033-3156 (1998). Reviewer: P.Jiménez Guerra (Madrid) MSC: 28C15 28-02 PDFBibTeX XMLCite \textit{V. I. Bogachev}, J. Math. Sci., New York 91, No. 4, 3033--3156 (1998; Zbl 0910.28009) Full Text: DOI
Davydov, G. V.; Davydova, I. M. Number representation of satisfiability. (English. Russian original) Zbl 0946.03014 J. Math. Sci., New York 98, No. 4, 464-478 (2000); translation from Zap. Nauchn. Semin. POMI 241, 72-96 (1997). MSC: 03B35 03B05 90C27 PDFBibTeX XML Full Text: DOI
Mishina, A. P. Abelian groups. (English) Zbl 0848.20046 J. Math. Sci., New York 76, No. 6, 2721-2792 (1995). MSC: 20Kxx 20K10 20K21 20K15 20K25 20K20 20K30 PDFBibTeX XMLCite \textit{A. P. Mishina}, J. Math. Sci., New York 76, No. 6, 2721--2792 (1995; Zbl 0848.20046) Full Text: DOI
Matiyasevich, Yu. V. A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers. (English. Russian original) Zbl 0940.03052 J. Math. Sci., New York 87, No. 1, 3228-3233 (1997); translation from Zap. Nauchn. Semin. POMI 220, 83-92 (1995). Reviewer: T.Pheidas (Iraklion) MSC: 03D25 11U05 12L05 03C10 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, J. Math. Sci., New York 87, No. 1, 3228--3233 (1995; Zbl 0940.03052); translation from Zap. Nauchn. Semin. POMI 220, 83--92 (1995) Full Text: DOI EuDML