Rybalov, A. N. Generic complexity of the word problem in some semigroups. (English. Russian original) Zbl 07786478 Algebra Logic 61, No. 6, 524-536 (2023); translation from Algebra Logika 61, No. 6, 766-783 (2022). MSC: 03-XX 20-XX PDFBibTeX XMLCite \textit{A. N. Rybalov}, Algebra Logic 61, No. 6, 524--536 (2023; Zbl 07786478); translation from Algebra Logika 61, No. 6, 766--783 (2022) Full Text: DOI
Benli, Mustafa Gökhan; Kaya, Burak Descriptive complexity of subsets of the space of finitely generated groups. (English) Zbl 1525.20027 Expo. Math. 40, No. 4, 1116-1134 (2022). Reviewer: Luc Guyot (Genève) MSC: 20F05 20F65 20F50 03E15 PDFBibTeX XMLCite \textit{M. G. Benli} and \textit{B. Kaya}, Expo. Math. 40, No. 4, 1116--1134 (2022; Zbl 1525.20027) Full Text: DOI arXiv
Osin, D. A topological zero-one law and elementary equivalence of finitely generated groups. (English) Zbl 1498.03085 Ann. Pure Appl. Logic 172, No. 3, Article ID 102915, 37 p. (2021). MSC: 03C60 20F65 20F67 20F05 03E15 03C75 PDFBibTeX XMLCite \textit{D. Osin}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102915, 37 p. (2021; Zbl 1498.03085) Full Text: DOI arXiv
Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo” Finitely generated groups are universal among finitely generated structures. (English) Zbl 1498.03081 Ann. Pure Appl. Logic 172, No. 1, Article ID 102855, 21 p. (2021). MSC: 03C57 03D45 20F05 20F06 20F10 PDFBibTeX XMLCite \textit{M. Harrison-Trainor} and \textit{M.-C. Ho}, Ann. Pure Appl. Logic 172, No. 1, Article ID 102855, 21 p. (2021; Zbl 1498.03081) Full Text: DOI arXiv
Mundici, Daniele Computing on lattice-ordered abelian groups. (English) Zbl 07614728 Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 210-225 (2020). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{D. Mundici}, Lect. Notes Comput. Sci. 12180, 210--225 (2020; Zbl 07614728) Full Text: DOI
Thomas, Simon Topological full groups of minimal subshifts and the classification problem for finitely generated complete groups. (English) Zbl 1418.37020 Groups Geom. Dyn. 13, No. 1, 327-347 (2019). Reviewer: Jian Li (Shantou) MSC: 37B05 03E15 PDFBibTeX XMLCite \textit{S. Thomas}, Groups Geom. Dyn. 13, No. 1, 327--347 (2019; Zbl 1418.37020) Full Text: DOI
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank Finitely generated semiautomatic groups. (English) Zbl 1396.20031 Computability 7, No. 2-3, 273-287 (2018). MSC: 20F10 68Q45 20F05 20E06 03D35 PDFBibTeX XMLCite \textit{S. Jain} et al., Computability 7, No. 2--3, 273--287 (2018; Zbl 1396.20031) Full Text: DOI
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg Rational subsets and submonoids of wreath products. (English) Zbl 1332.20038 Inf. Comput. 243, 191-204 (2015). MSC: 20F10 20E22 20M05 03B25 03D35 20M35 68Q70 PDFBibTeX XMLCite \textit{M. Lohrey} et al., Inf. Comput. 243, 191--204 (2015; Zbl 1332.20038) Full Text: DOI arXiv
Lasserre, Clément On the direct products of quasi-finitely axiomatizable groups. (English) Zbl 1328.20002 J. Group Theory 18, No. 3, 435-453 (2015). Reviewer: V. A. Roman’kov (Omsk) MSC: 20A15 03C60 20F10 20F05 20E22 20F19 20F16 20E26 03C07 PDFBibTeX XMLCite \textit{C. Lasserre}, J. Group Theory 18, No. 3, 435--453 (2015; Zbl 1328.20002) Full Text: DOI
Williams, Jay Isomorphism of finitely generated solvable groups is weakly universal. (English) Zbl 1341.20032 J. Pure Appl. Algebra 219, No. 5, 1639-1644 (2015). MSC: 20F16 20F10 03E15 20F05 20A15 37A20 PDFBibTeX XMLCite \textit{J. Williams}, J. Pure Appl. Algebra 219, No. 5, 1639--1644 (2015; Zbl 1341.20032) Full Text: DOI
Olshanskii, A. Yu. Space functions and space complexity of the word problem in semigroups. (English) Zbl 1322.20054 Comput. Complexity 22, No. 4, 771-830 (2013). Reviewer: Jörg Lehnert (Leipzig) MSC: 20M05 03D40 03D10 03D15 20F10 20F06 20F69 68Q15 68Q25 PDFBibTeX XMLCite \textit{A. Yu. Olshanskii}, Comput. Complexity 22, No. 4, 771--830 (2013; Zbl 1322.20054) Full Text: DOI
Bowler, Nathan; Chen, Cong; Gismatullin, Jakub Model theoretic connected components of finitely generated nilpotent groups. (English) Zbl 1272.03145 J. Symb. Log. 78, No. 1, 245-259 (2013). Reviewer: Cédric Milliet (İstanbul) MSC: 03C60 05E15 20A15 20F16 PDFBibTeX XMLCite \textit{N. Bowler} et al., J. Symb. Log. 78, No. 1, 245--259 (2013; Zbl 1272.03145) Full Text: DOI arXiv Euclid
Sisto, Alessandro Separable and tree-like asymptotic cones of groups. (English) Zbl 1283.20051 Münster J. Math. 5, No. 1, 233-248 (2012). MSC: 20F65 20F69 22A05 54E35 03H05 PDFBibTeX XMLCite \textit{A. Sisto}, Münster J. Math. 5, No. 1, 233--248 (2012; Zbl 1283.20051) Full Text: arXiv
Olshanskii, A. Yu. Space functions of groups. (English) Zbl 1287.20045 Trans. Am. Math. Soc. 364, No. 9, 4937-4985 (2012). Reviewer: Jörg Lehnert (Leipzig) MSC: 20F05 20F06 20F10 20F65 20F69 03D10 03D15 03D40 68Q15 68Q17 PDFBibTeX XMLCite \textit{A. Yu. Olshanskii}, Trans. Am. Math. Soc. 364, No. 9, 4937--4985 (2012; Zbl 1287.20045) Full Text: DOI arXiv
Romanovskiy, Nikolay S. Presentations for rigid solvable groups. (English) Zbl 1277.20031 J. Group Theory 15, No. 6, 793-810 (2012). MSC: 20F05 20F16 20F10 20F14 20F70 20A15 03C60 PDFBibTeX XMLCite \textit{N. S. Romanovskiy}, J. Group Theory 15, No. 6, 793--810 (2012; Zbl 1277.20031) Full Text: DOI
Alexandru, Andrei; Ciobanu, Gabriel An extension of a permutative model of set theory. (English) Zbl 1274.03073 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 58, No. 1, 1-18 (2012). Reviewer: Jörg D. Brendle (Kobe) MSC: 03E30 03E25 20B07 20E25 PDFBibTeX XMLCite \textit{A. Alexandru} and \textit{G. Ciobanu}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 58, No. 1, 1--18 (2012; Zbl 1274.03073) Full Text: DOI
Kharlampovich, Olga; Myasnikov, Alexei Limits of relatively hyperbolic groups and Lyndon’s completions. (English) Zbl 1273.20042 J. Eur. Math. Soc. (JEMS) 14, No. 3, 659-680 (2012). MSC: 20F70 20F67 20F05 20E07 03C60 20A15 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, J. Eur. Math. Soc. (JEMS) 14, No. 3, 659--680 (2012; Zbl 1273.20042) Full Text: DOI arXiv
Goldbring, Isaac Ends of groups: a nonstandard perspective. (English) Zbl 1277.20045 J. Log. Anal. 3, Paper No. 7, 28 p. (2011). MSC: 20F65 03H05 20A15 20F05 57M07 PDFBibTeX XMLCite \textit{I. Goldbring}, J. Log. Anal. 3, Paper No. 7, 28 p. (2011; Zbl 1277.20045) Full Text: DOI arXiv
Cornulier, Yves On the Cantor-Bendixson rank of metabelian groups. (English. French summary) Zbl 1238.20049 Ann. Inst. Fourier 61, No. 2, 593-618 (2011). Reviewer: Eric Jaligot (Grenoble) MSC: 20F05 20F16 20E15 13E05 57M07 03C45 PDFBibTeX XMLCite \textit{Y. Cornulier}, Ann. Inst. Fourier 61, No. 2, 593--618 (2011; Zbl 1238.20049) Full Text: DOI arXiv EuDML
Scheele, Lars Iterated asymptotic cones. (English) Zbl 1275.20050 Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). 61 p. (2011). MSC: 20F69 20F65 53C23 57M07 03C20 20F05 PDFBibTeX XMLCite \textit{L. Scheele}, Iterated asymptotic cones. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2011; Zbl 1275.20050)
Lohrey, Markus; Steinberg, Benjamin Tilings and submonoids of metabelian groups. (English) Zbl 1229.20025 Theory Comput. Syst. 48, No. 2, 411-427 (2011). Reviewer: Ahmet Sinan Çevik (Konya) MSC: 20F10 20F16 03D10 68Q45 20E22 20F05 20F06 20M05 PDFBibTeX XMLCite \textit{M. Lohrey} and \textit{B. Steinberg}, Theory Comput. Syst. 48, No. 2, 411--427 (2011; Zbl 1229.20025) Full Text: DOI arXiv
de la Harpe, Pierre Topology, group theory and decision problems.. (Topologie, théorie des groupes et problèmes de décision.) (French) Zbl 1272.20001 Gaz. Math., Soc. Math. Fr. 125, 41-75 (2010). MSC: 20-03 20F10 20F05 20F65 01A60 03B25 57-03 57M25 57M35 PDFBibTeX XMLCite \textit{P. de la Harpe}, Gaz. Math., Soc. Math. Fr. 125, 41--75 (2010; Zbl 1272.20001)
Darnière, Luck; Junker, Markus On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond. (English) Zbl 1215.06004 Arch. Math. Logic 49, No. 7-8, 743-771 (2010). Reviewer: Afrodita Iorgulescu (Bucharest) MSC: 06D20 03C64 06B23 06B30 08B20 PDFBibTeX XMLCite \textit{L. Darnière} and \textit{M. Junker}, Arch. Math. Logic 49, No. 7--8, 743--771 (2010; Zbl 1215.06004) Full Text: DOI arXiv
Guyot, Luc Limits of dihedral groups. (English) Zbl 1210.20031 Geom. Dedicata 147, 159-171 (2010). Reviewer: Adrien Deloro (Paris) MSC: 20F05 57M07 20A15 03C20 20F65 PDFBibTeX XMLCite \textit{L. Guyot}, Geom. Dedicata 147, 159--171 (2010; Zbl 1210.20031) Full Text: DOI arXiv
Wilton, Henry Solutions to Bestvina & Feighn’s exercises on limit groups. (English) Zbl 1213.20040 Bridson, Martin R. (ed.) et al., Geometric and cohomological methods in group theory. Papers from the London Mathematical Society symposium on geometry and cohomology in group theory, Durham, UK, July 2003. Cambridge: Cambridge University Press (ISBN 978-0-521-75724-9/pbk). London Mathematical Society Lecture Note Series 358, 30-62 (2009). MSC: 20F65 20F70 20E05 20F10 03B25 20E26 20E36 PDFBibTeX XMLCite \textit{H. Wilton}, Lond. Math. Soc. Lect. Note Ser. 358, 30--62 (2009; Zbl 1213.20040) Full Text: arXiv
Bestvina, Mladen; Feighn, Mark Notes on Sela’s work: limit groups and Makanin-Razborov diagrams. (English) Zbl 1213.20039 Bridson, Martin R. (ed.) et al., Geometric and cohomological methods in group theory. Papers from the London Mathematical Society symposium on geometry and cohomology in group theory, Durham, UK, July 2003. Cambridge: Cambridge University Press (ISBN 978-0-521-75724-9/pbk). London Mathematical Society Lecture Note Series 358, 1-29 (2009). MSC: 20F65 20F70 20E05 20F10 03B25 20E26 20E36 PDFBibTeX XMLCite \textit{M. Bestvina} and \textit{M. Feighn}, Lond. Math. Soc. Lect. Note Ser. 358, 1--29 (2009; Zbl 1213.20039) Full Text: arXiv
Thomas, Simon On the concept of “largeness” in group theory. (English) Zbl 1215.20035 J. Algebra 322, No. 12, 4181-4197 (2009). Reviewer: Adrien Deloro (Paris) MSC: 20F05 03E15 20F06 PDFBibTeX XMLCite \textit{S. Thomas}, J. Algebra 322, No. 12, 4181--4197 (2009; Zbl 1215.20035) Full Text: DOI
Thomas, Simon The commensurability relation for finitely generated groups. (English) Zbl 1217.20020 J. Group Theory 12, No. 6, 901-909 (2009). Reviewer: Eric Jaligot (Grenoble) MSC: 20F05 20F10 03E15 PDFBibTeX XMLCite \textit{S. Thomas}, J. Group Theory 12, No. 6, 901--909 (2009; Zbl 1217.20020) Full Text: DOI
Sela, Z. Diophantine geometry over groups. VII: The elementary theory of a hyperbolic group. (English) Zbl 1241.20049 Proc. Lond. Math. Soc. (3) 99, No. 1, 217-273 (2009). MSC: 20F70 20F67 03B25 03C07 03C60 20E05 20A15 14A22 03B35 20F10 PDFBibTeX XMLCite \textit{Z. Sela}, Proc. Lond. Math. Soc. (3) 99, No. 1, 217--273 (2009; Zbl 1241.20049) Full Text: DOI
Holt, Derek F.; Owens, Matthew D.; Thomas, Richard M. Groups and semigroups with a one-counter word problem. (English) Zbl 1180.20048 J. Aust. Math. Soc. 85, No. 2, 197-209 (2008). Reviewer: V. A. Roman’kov (Omsk) MSC: 20M05 20F10 20M35 68Q45 03D40 PDFBibTeX XMLCite \textit{D. F. Holt} et al., J. Aust. Math. Soc. 85, No. 2, 197--209 (2008; Zbl 1180.20048) Full Text: DOI
Jarden, Moshe; Lubotzky, Alexander Elementary equivalence of profinite groups. (English) Zbl 1200.20023 Bull. Lond. Math. Soc. 40, No. 5, 887-896 (2008). MSC: 20E18 20F05 03C60 20A15 PDFBibTeX XMLCite \textit{M. Jarden} and \textit{A. Lubotzky}, Bull. Lond. Math. Soc. 40, No. 5, 887--896 (2008; Zbl 1200.20023) Full Text: DOI
Lohrey, Markus; Steinberg, Benjamin The submonoid and rational subset membership problems for graph groups. (English) Zbl 1156.20052 J. Algebra 320, No. 2, 728-755 (2008). Reviewer: Ahmet Sinan Çevik (Konya) MSC: 20M05 20F10 20M35 68Q45 20E06 20F05 68Q70 03B25 20F36 PDFBibTeX XMLCite \textit{M. Lohrey} and \textit{B. Steinberg}, J. Algebra 320, No. 2, 728--755 (2008; Zbl 1156.20052) Full Text: DOI arXiv
Thomas, Simon On the complexity of the quasi-isometry and virtual isomorphism problems for finitely generated groups. (English) Zbl 1151.03026 Groups Geom. Dyn. 2, No. 2, 281-307 (2008). Reviewer: Miroslav Repický (Košice) MSC: 03E15 20F65 PDFBibTeX XMLCite \textit{S. Thomas}, Groups Geom. Dyn. 2, No. 2, 281--307 (2008; Zbl 1151.03026) Full Text: DOI Link
Nies, André Describing groups. (English) Zbl 1167.20017 Bull. Symb. Log. 13, No. 3, 305-339 (2007). Reviewer: Marat M. Arslanov (Kazan) MSC: 20F05 20A15 03C60 03D05 03C15 20F10 68Q45 PDFBibTeX XMLCite \textit{A. Nies}, Bull. Symb. Log. 13, No. 3, 305--339 (2007; Zbl 1167.20017) Full Text: DOI Link
Grünenwald, Claus; Haug, Frieder On stable groups in some soluble group classes. (English) Zbl 1139.03024 Löwe, Benedikt (ed.), Algebra, logic, set theory. Festschrift für Ulrich Felgner zum 65. Geburtstag. London: King’s College Publications (ISBN 1-904987-28-1/hbk). Studies in Logic (London) 4, 141-156 (2007). MSC: 03C45 03C60 20A15 20F16 PDFBibTeX XMLCite \textit{C. Grünenwald} and \textit{F. Haug}, Stud. Log. (Lond.) 4, 141--156 (2007; Zbl 1139.03024)
Khelif, Anatole Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs. (French. English summary) Zbl 1117.03041 C. R., Math., Acad. Sci. Paris 345, No. 2, 59-61 (2007). MSC: 03C60 20A15 13L05 PDFBibTeX XMLCite \textit{A. Khelif}, C. R., Math., Acad. Sci. Paris 345, No. 2, 59--61 (2007; Zbl 1117.03041) Full Text: DOI
Lehnert, Jörg; Schweitzer, Pascal The co-word problem for the Higman-Thompson group is context-free. (English) Zbl 1166.20025 Bull. Lond. Math. Soc. 39, No. 2, 235-241 (2007). MSC: 20F10 68Q45 03D40 PDFBibTeX XMLCite \textit{J. Lehnert} and \textit{P. Schweitzer}, Bull. Lond. Math. Soc. 39, No. 2, 235--241 (2007; Zbl 1166.20025) Full Text: DOI
Bridson, Martin R.; Howie, James Subgroups of direct products of elementarily free groups. (English) Zbl 1127.20027 Geom. Funct. Anal. 17, No. 2, 385-403 (2007). Reviewer: V. A. Roman’kov (Omsk) MSC: 20F65 20E05 20E07 20E08 20F67 20A15 03C60 PDFBibTeX XMLCite \textit{M. R. Bridson} and \textit{J. Howie}, Geom. Funct. Anal. 17, No. 2, 385--403 (2007; Zbl 1127.20027) Full Text: DOI arXiv
Fine, Benjamin; Gaglione, Anthony M.; Spellman, Dennis An embedding theorem for groups universally equivalent to free nilpotent groups. (English) Zbl 1120.20028 Campbell, C.M. (ed.) et al., Groups St. Andrews 2005. Vol. I. Selected papers of the conference, St. Andrews, UK, July 30–August 6, 2005. Cambridge: Cambridge University Press (ISBN 978-0-521-69469-8/pbk). London Mathematical Society Lecture Note Series 339, 319-326 (2007). Reviewer: V. A. Roman’kov (Omsk) MSC: 20E10 20F18 03C60 20E05 20A15 20E07 PDFBibTeX XMLCite \textit{B. Fine} et al., Lond. Math. Soc. Lect. Note Ser. 339, 319--326 (2007; Zbl 1120.20028)
Ould Houcine, Abderezak Satisfaction of existential theories in finitely presented groups and some embedding theorems. (English) Zbl 1112.20029 Ann. Pure Appl. Logic 142, No. 1-3, 351-365 (2006). Reviewer: S. R. Kogalovskij (Ivanovo) MSC: 20F05 20E07 20F10 20A15 03C60 03C15 03C07 PDFBibTeX XMLCite \textit{A. Ould Houcine}, Ann. Pure Appl. Logic 142, No. 1--3, 351--365 (2006; Zbl 1112.20029) Full Text: DOI
Sela, Z. Diophantine geometry over groups. VI: The elementary theory of a free group. (English) Zbl 1118.20035 Geom. Funct. Anal. 16, No. 3, 707-730 (2006). Reviewer: V. A. Roman’kov (Omsk) MSC: 20F10 20E05 20E10 20A15 11D72 14A22 03B25 03C07 03C60 20F67 PDFBibTeX XMLCite \textit{Z. Sela}, Geom. Funct. Anal. 16, No. 3, 707--730 (2006; Zbl 1118.20035) Full Text: DOI
Oger, F. Quasi-finitely axiomatizable groups and groups which are prime models. (English) Zbl 1121.20001 J. Group Theory 9, No. 1, 107-116 (2006). Reviewer: Frank Wagner (Villeurbanne) MSC: 20A15 03C60 20F16 20F05 PDFBibTeX XMLCite \textit{F. Oger}, J. Group Theory 9, No. 1, 107--116 (2006; Zbl 1121.20001) Full Text: DOI
Oger, F.; Sabbagh, G. Quasi-finitely axiomatizable nilpotent groups. (English) Zbl 1121.20002 J. Group Theory 9, No. 1, 95-106 (2006). Reviewer: Frank Wagner (Villeurbanne) MSC: 20A15 20F18 03C60 20F05 PDFBibTeX XMLCite \textit{F. Oger} and \textit{G. Sabbagh}, J. Group Theory 9, No. 1, 95--106 (2006; Zbl 1121.20002) Full Text: DOI
Thomas, Simon Cayley graphs of finitely generated groups. (English) Zbl 1077.03029 Proc. Am. Math. Soc. 134, No. 1, 289-294 (2006). MSC: 03E15 20F05 20A15 PDFBibTeX XMLCite \textit{S. Thomas}, Proc. Am. Math. Soc. 134, No. 1, 289--294 (2006; Zbl 1077.03029) Full Text: DOI
Oliver, Graham P.; Thomas, Richard M. Automatic presentations for finitely generated groups. (English) Zbl 1118.20301 Diekert, Volker (ed.) et al., STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24998-2/pbk). Lecture Notes in Computer Science 3404, 693-704 (2005). MSC: 20F05 20F10 03D05 68Q45 PDFBibTeX XMLCite \textit{G. P. Oliver} and \textit{R. M. Thomas}, Lect. Notes Comput. Sci. 3404, 693--704 (2005; Zbl 1118.20301) Full Text: DOI
Kharlampovich, Olga; Myasnikov, Alexei Algebraic geometry over free groups: lifting solutions into generic points. (English) Zbl 1093.20014 Borovik, Alexandre V. (ed.), Groups, languages, algorithms. Proceedings of the AMS-ASL joint special session on interactions between logic, group theory, and computer science, Baltimore, MD, USA, January 16–19, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3618-8/pbk). Contemporary Mathematics 378, 213-318 (2005). Reviewer: V. A. Roman’kov (Omsk) MSC: 20E10 14A22 03C60 20A15 20E05 20E34 20F10 20F65 20F05 03C05 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, Contemp. Math. 378, 213--318 (2005; Zbl 1093.20014) Full Text: arXiv
Kharlampovich, Olga; Myasnikov, Alexei G. Effective JSJ decompositions. (English) Zbl 1093.20019 Borovik, Alexandre V. (ed.), Groups, languages, algorithms. Proceedings of the AMS-ASL joint special session on interactions between logic, group theory, and computer science, Baltimore, MD, USA, January 16–19, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3618-8/pbk). Contemporary Mathematics 378, 87-212 (2005). Reviewer: V. A. Roman’kov (Omsk) MSC: 20F10 20F05 20E26 20E05 20E06 03C05 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. G. Myasnikov}, Contemp. Math. 378, 87--212 (2005; Zbl 1093.20019) Full Text: arXiv
Fine, Benjamin; Gaglione, Anthony M.; Spellman, Dennis Discriminating and squarelike groups. II: Examples. (English) Zbl 1083.20025 Houston J. Math. 31, No. 3, 649-674 (2005). MSC: 20E26 03C60 20F10 20A15 14A22 PDFBibTeX XMLCite \textit{B. Fine} et al., Houston J. Math. 31, No. 3, 649--674 (2005; Zbl 1083.20025)
Morozov, A.; Nies, A. Finitely generated groups and first-order logic. (English) Zbl 1091.03014 J. Lond. Math. Soc., II. Ser. 71, No. 3, 545-562 (2005). Reviewer: Oleg V. Belegradek (Istanbul) (MR2132370 (2006a:20005)) MSC: 03D35 03D40 20A15 20F10 PDFBibTeX XMLCite \textit{A. Morozov} and \textit{A. Nies}, J. Lond. Math. Soc., II. Ser. 71, No. 3, 545--562 (2005; Zbl 1091.03014) Full Text: DOI
Kvaschuk, Alexei; Myasnikov, Alexei; Remeslennikov, Vladimir Algebraic geometry over groups. III: Elements of model theory. (English) Zbl 1078.20025 J. Algebra 288, No. 1, 78-98 (2005). Reviewer: V. A. Roman’kov (Omsk) MSC: 20E10 14A22 03C60 20A15 20E05 20E34 20F10 20F65 20F05 PDFBibTeX XMLCite \textit{A. Kvaschuk} et al., J. Algebra 288, No. 1, 78--98 (2005; Zbl 1078.20025) Full Text: DOI
Champetier, Christophe; Guirardel, Vincent Limit groups as limits of free groups. (English) Zbl 1103.20026 Isr. J. Math. 146, 1-75 (2005). Reviewer: V. A. Roman’kov (Omsk) MSC: 20F05 20E05 20F10 20E26 03C60 57M07 22A05 PDFBibTeX XMLCite \textit{C. Champetier} and \textit{V. Guirardel}, Isr. J. Math. 146, 1--75 (2005; Zbl 1103.20026) Full Text: DOI arXiv
Jaligot, Eric; Ould Houcine, Abderezak Existentially closed CSA-groups. (English) Zbl 1080.20026 J. Algebra 280, No. 2, 772-796 (2004). Reviewer: Oleg V. Belegradek (Istanbul) MSC: 20E32 20A15 20E28 20E26 20F05 03C60 03C45 20E07 PDFBibTeX XMLCite \textit{E. Jaligot} and \textit{A. Ould Houcine}, J. Algebra 280, No. 2, 772--796 (2004; Zbl 1080.20026) Full Text: DOI
Ol’shanskii, A. Yu.; Sapir, M. V. The conjugacy problem for groups, and Higman embeddings. (English) Zbl 1069.20023 Electron. Res. Announc. Am. Math. Soc. 9, 40-50 (2003). MSC: 20F10 03D40 20F05 20E07 PDFBibTeX XMLCite \textit{A. Yu. Ol'shanskii} and \textit{M. V. Sapir}, Electron. Res. Announc. Am. Math. Soc. 9, 40--50 (2003; Zbl 1069.20023) Full Text: DOI arXiv EuDML EMIS
Nies, André Separating classes of groups by first-order sentences. (English) Zbl 1059.20002 Int. J. Algebra Comput. 13, No. 3, 287-302 (2003). Reviewer: Oleg V. Belegradek (Istanbul) MSC: 20A15 03C60 20F10 20F05 03D25 20A05 20E10 PDFBibTeX XMLCite \textit{A. Nies}, Int. J. Algebra Comput. 13, No. 3, 287--302 (2003; Zbl 1059.20002) Full Text: DOI
Kapovich, Ilya; Myasnikov, Alexei; Schupp, Paul; Shpilrain, Vladimir Generic-case complexity, decision problems in group theory, and random walks. (English) Zbl 1041.20021 J. Algebra 264, No. 2, 665-694 (2003). Reviewer: Oleg V. Belegradek (Istanbul) MSC: 20F10 03D15 60G50 68Q15 68Q25 20F05 20E07 PDFBibTeX XMLCite \textit{I. Kapovich} et al., J. Algebra 264, No. 2, 665--694 (2003; Zbl 1041.20021) Full Text: DOI arXiv
Sela, Z. Diophantine geometry over groups. II: Completions, closures and formal solutions. (English) Zbl 1028.20028 Isr. J. Math. 134, 173-254 (2003). Reviewer: V.A.Roman’kov (Omsk) MSC: 20F10 20F65 20E05 03B25 20E26 20E36 PDFBibTeX XMLCite \textit{Z. Sela}, Isr. J. Math. 134, 173--254 (2003; Zbl 1028.20028) Full Text: DOI
Parkes, Duncan W.; Thomas, Richard M. Groups with context-free reduced word problem. (English) Zbl 1012.20027 Commun. Algebra 30, No. 7, 3143-3156 (2002). Reviewer: Y.Kobayashi (Funabashi) MSC: 20F10 03D05 20M35 68Q45 20F05 PDFBibTeX XMLCite \textit{D. W. Parkes} and \textit{R. M. Thomas}, Commun. Algebra 30, No. 7, 3143--3156 (2002; Zbl 1012.20027) Full Text: DOI
Sela, Z. Diophantine geometry over groups and the elementary theory of free and hyperbolic groups. (English) Zbl 1060.20022 Li, Ta Tsien (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20–28, 2002. Vol. II: Invited lectures. Beijing: Higher Education Press; Singapore: World Scientific/distributor (ISBN 7-04-008690-5/3-vol. set). 87-92 (2002). MSC: 20E05 03C07 03C60 20A15 14A22 20F05 20F65 20F67 57M07 PDFBibTeX XMLCite \textit{Z. Sela}, in: Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20--28, 2002. Vol. II: Invited lectures. Beijing: Higher Education Press; Singapore: World Scientific/distributor. 87--92 (2002; Zbl 1060.20022) Full Text: arXiv
Crvenković, Siniša; Tasić, Vladimir Decidability of semigroup identities in soluble groups. (English) Zbl 1005.20026 J. Group Theory 5, No. 1, 107-118 (2002). Reviewer: Y.Kobayashi (Funabashi) MSC: 20F10 20F16 03D40 03B25 20F05 PDFBibTeX XMLCite \textit{S. Crvenković} and \textit{V. Tasić}, J. Group Theory 5, No. 1, 107--118 (2002; Zbl 1005.20026) Full Text: DOI
Sela, Zlil Diophantine geometry over groups. I: Makanin-Razborov diagrams. (English) Zbl 1018.20034 Publ. Math., Inst. Hautes Étud. Sci. 93, 31-105 (2001). Reviewer: V.A.Roman’kov (Omsk) MSC: 20F65 20E05 20F10 03B25 20E26 20E36 PDFBibTeX XMLCite \textit{Z. Sela}, Publ. Math., Inst. Hautes Étud. Sci. 93, 31--105 (2001; Zbl 1018.20034) Full Text: DOI arXiv Numdam Numdam EuDML
Oger, Francis Elementary equivalence for Abelian-by-finite and nilpotent groups. (English) Zbl 1045.20001 J. Symb. Log. 66, No. 3, 1471-1480 (2001). Reviewer: Ulrich Felgner (Tübingen) MSC: 20A15 03C60 20F22 PDFBibTeX XMLCite \textit{F. Oger}, J. Symb. Log. 66, No. 3, 1471--1480 (2001; Zbl 1045.20001) Full Text: DOI
Gao, Su Coding subset shift by subgroup conjugacy. (English) Zbl 1025.03044 Bull. Lond. Math. Soc. 32, No. 6, 653-657 (2000). MSC: 03E15 20F05 20A15 PDFBibTeX XMLCite \textit{S. Gao}, Bull. Lond. Math. Soc. 32, No. 6, 653--657 (2000; Zbl 1025.03044) Full Text: DOI
Sushchans’kij, V. I. Groups of finite automata permutations. (Ukrainian. English summary) Zbl 0958.20028 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 1999, No. 1, 29-32 (1999). MSC: 20F10 68Q45 03D05 20F05 68R15 PDFBibTeX XMLCite \textit{V. I. Sushchans'kij}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 1999, No. 1, 29--32 (1999; Zbl 0958.20028)
Oger, Francis Elementary equivalence for finitely generated nilpotent groups and multilinear maps. (English) Zbl 0922.03050 Bull. Aust. Math. Soc. 58, No. 3, 479-493 (1998). Reviewer: C.Toffalori (Camerino) MSC: 03C60 20F18 20A15 20A05 PDFBibTeX XMLCite \textit{F. Oger}, Bull. Aust. Math. Soc. 58, No. 3, 479--493 (1998; Zbl 0922.03050) Full Text: DOI
Khisamiev, A. N. \(\Sigma\)-enumeration and \(\Sigma\)-definability in HF\(_{\mathcal M}\). (Russian) Zbl 0902.03030 Vychisl. Sist. 156, 44-58 (1996). MSC: 03D60 03C57 PDFBibTeX XMLCite \textit{A. N. Khisamiev}, Vychisl. Sist. 156, 44--58 (1996; Zbl 0902.03030)
Gaglione, Anthony M.; Spellman, Dennis Parametric words and models of the elementary theory of non-Abelian free groups. (English) Zbl 0846.20026 Campbell, C. M. (ed.) et al., Groups ‘93 Galway/St. Andrews’. Proceedings of the international conference, held in Galway, Ireland, August 1-14, 1993. Volume 1. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 211, 233-243 (1995). Reviewer: S.R.Kogalovskij (Ivanovo) MSC: 20E05 20A15 03C60 PDFBibTeX XMLCite \textit{A. M. Gaglione} and \textit{D. Spellman}, Lond. Math. Soc. Lect. Note Ser. 211, 233--243 (1995; Zbl 0846.20026)
Remeslennikov, V. N. \(\exists\)-free groups and groups with length function. (English) Zbl 0856.20002 Bokut’, L. A. (ed.) et al., Second international conference on algebra dedicated to the memory of A. I. Shirshov. Proceedings of the conference on algebra, August 20-25, 1991, Barnaul, Russia. Providence, RI: American Mathematical Society. Contemp. Math. 184, 369-376 (1995). Reviewer: V.A.Roman’kov (Omsk) MSC: 20A15 20E05 20F05 03C60 PDFBibTeX XMLCite \textit{V. N. Remeslennikov}, Contemp. Math. 184, 369--376 (1995; Zbl 0856.20002)
Ngyen Van Hoa Structure of closed classes of \(k\)-valued logic, self-dual with respect to transitive groups. (Russian. English summary) Zbl 0823.03010 Dokl. Akad. Nauk Belarusi 38, No. 6, 17-20 (1994). MSC: 03B50 03G10 PDFBibTeX XMLCite \textit{Ngyen Van Hoa}, Dokl. Akad. Nauk Belarusi 38, No. 6, 17--20 (1994; Zbl 0823.03010)
Shapiro, Michael A note on context-sensitive languages and word problems. (English) Zbl 0832.20052 Int. J. Algebra Comput. 4, No. 4, 493-497 (1994). Reviewer: P.Lakatos (Debrecen) MSC: 20F10 20F65 68Q45 03D40 20M05 20M35 PDFBibTeX XMLCite \textit{M. Shapiro}, Int. J. Algebra Comput. 4, No. 4, 493--497 (1994; Zbl 0832.20052) Full Text: DOI arXiv
Baumslag, G.; Miller, C. F. III; Short, H. Unsolvable problems about small cancellation and word hyperbolic groups. (English) Zbl 0810.20025 Bull. Lond. Math. Soc. 26, No. 1, 97-101 (1994). Reviewer: D.Busneag (Craiova) MSC: 20F06 20F05 20F10 03D80 20J05 PDFBibTeX XMLCite \textit{G. Baumslag} et al., Bull. Lond. Math. Soc. 26, No. 1, 97--101 (1994; Zbl 0810.20025) Full Text: DOI
Oger, Francis Isomorphism and elementary equivalence of multilinear maps. (English) Zbl 0841.20002 Linear Multilinear Algebra 36, No. 3, 151-174 (1994). MSC: 20A15 03C60 20K99 15A04 PDFBibTeX XMLCite \textit{F. Oger}, Linear Multilinear Algebra 36, No. 3, 151--174 (1994; Zbl 0841.20002) Full Text: DOI
Point, Françoise Conditions of quasi-nilpotency in certain varieties of groups. (English) Zbl 0813.20027 Commun. Algebra 22, No. 1, 355-370 (1994). Reviewer: R.M.Bryant (Manchester) MSC: 20E10 20F16 03C45 20H20 20F45 PDFBibTeX XMLCite \textit{F. Point}, Commun. Algebra 22, No. 1, 355--370 (1994; Zbl 0813.20027) Full Text: DOI
Gaglione, Anthony M.; Spellman, Dennis A converse to a theorem of Sacerdote. (English) Zbl 0827.03023 Sehgal, Surinder (ed.) et al., Group theory. Proceedings of the 21st biennial Ohio State-Denison mathematical conference, Granville, OH (USA), 14-16 May, 1992. Singapore: World Scientific. 144-148 (1993). MSC: 03C60 20E05 PDFBibTeX XMLCite \textit{A. M. Gaglione} and \textit{D. Spellman}, in: Group theory. Proceedings of the 21st biennial Ohio State-Denison mathematical conference, Granville, OH (USA), 14-16 May, 1992. Singapore: World Scientific. 144--148 (1993; Zbl 0827.03023)
Grünenwald, Claus; Haug, Frieder On stable groups in some soluble group classes. (English) Zbl 0799.03039 Weese, Martin (ed.) et al., Proceedings of the tenth Easter conference on model theory, Wendisch Rietz, Germany, April 12-17, 1993. Berlin: Humboldt-Universität, Fachbereich Mathematik, Humboldt-Univ. Berlin, Sekt. Math., Semin.-ber. 93-1, 46-59 (1993). Reviewer: F.O.Wagner (Oxford) MSC: 03C60 20A15 03C45 PDFBibTeX XMLCite \textit{C. Grünenwald} and \textit{F. Haug}, in: Proceedings of the tenth Easter conference on model theory, Wendisch Rietz, Germany, April 12--17, 1993. Berlin: Humboldt-Universität, Fachbereich Mathematik. 46--59 (1993; Zbl 0799.03039)
Lopatkov, M. G. Step-groups and \(\Lambda\)-Archimedean groups. (Stupenchatye i \(\Lambda\)- arkhimedovy gruppy.) (Russian) Zbl 0787.20024 Akademiya Nauk SSSR Sibirskoe Otdelenie, Vychislitel’nyj Tsentr. Preprint. 921. Novosibirsk: Vychislitel’nyj Tsentr SO AN SSSR, 38 p. (1991). MSC: 20F05 20A15 03C60 20E07 20E05 PDFBibTeX XMLCite \textit{M. G. Lopatkov}, Stupenchatye i \(\Lambda\)- arkhimedovy gruppy (Russian). Novosibirsk: Vychislitel'nyj Tsentr SO AN SSSR (1991; Zbl 0787.20024)
Kegel, Otto H.; Schmidt, Dieter Existentially closed finitary linear groups. (English) Zbl 0734.20015 Groups, Vol. 2, Proc. Int. Conf., St. Andrews/UK 1989, Lond. Math. Soc. Lect. Note Ser. 160, 353-362 (1991). Reviewer: B.Hartley (Manchester) MSC: 20F10 20H25 20E36 16K40 03C60 20E07 20F05 PDFBibTeX XML
Sabbagh, Gabriel; Wilson, John S. Polycyclic groups, finite images, and elementary equivalence. (English) Zbl 0702.20001 Arch. Math. 57, No. 3, 221-227 (1991). Reviewer: G.Sabbagh MSC: 20A15 03C60 20F16 PDFBibTeX XMLCite \textit{G. Sabbagh} and \textit{J. S. Wilson}, Arch. Math. 57, No. 3, 221--227 (1991; Zbl 0702.20001) Full Text: DOI
Chiswell, I. M. Non-standard analysis and the Morgan-Shalen compactification. (English) Zbl 0764.22004 Q. J. Math., Oxf. II. Ser. 42, No. 167, 257-270 (1991). Reviewer: R.A.Herrmann (Annapolis) MSC: 22C05 03H05 20E08 54E35 PDFBibTeX XMLCite \textit{I. M. Chiswell}, Q. J. Math., Oxf. II. Ser. 42, No. 167, 257--270 (1991; Zbl 0764.22004) Full Text: DOI
Morozov, A. S. A question of Higman. (English. Russian original) Zbl 0742.20032 Algebra Logic 29, No. 1, 22-26 (1990); translation from Algebra Logika 29, No. 1, 29-34 (1990). Reviewer: O.V.Belegradek (Kemerovo) MSC: 20F10 03D20 20B27 03D40 03C57 03D45 20B07 PDFBibTeX XMLCite \textit{A. S. Morozov}, Algebra Logic 29, No. 1, 22--26 (1990; Zbl 0742.20032); translation from Algebra Logika 29, No. 1, 29--34 (1990) Full Text: DOI
Myasnikov, A. G. Definable invariants of bilinear mappings. (English. Russian original) Zbl 0763.03020 Sib. Math. J. 31, No. 1, 89-99 (1990); translation from Sib. Mat. Zh. 31, No. 1(179), 104-115 (1990). MSC: 03C60 08C10 13L05 20A15 PDFBibTeX XMLCite \textit{A. G. Myasnikov}, Sib. Math. J. 31, No. 1, 89--99 (1990; Zbl 0763.03020); translation from Sib. Mat. Zh. 31, No. 1(179), 104--115 (1990) Full Text: DOI
du Sautoy, Marcus P. F. Finitely generated groups, p-adic analytic groups, and Poincaré series. (English) Zbl 0724.22010 Bull. Am. Math. Soc., New Ser. 23, No. 1, 121-126 (1990). Reviewer: G.Rangan (Madras) MSC: 22E35 20F05 22E20 03C10 20E18 11M41 11S40 PDFBibTeX XMLCite \textit{M. P. F. du Sautoy}, Bull. Am. Math. Soc., New Ser. 23, No. 1, 121--126 (1990; Zbl 0724.22010) Full Text: DOI
Dahn, Bernd I.; Lenski, Wolfgang Universally generic finitely generated ordered abelian groups. (English) Zbl 0716.03031 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 110, 39-45 (1990). MSC: 03C60 06F20 03C25 PDFBibTeX XMLCite \textit{B. I. Dahn} and \textit{W. Lenski}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 110, 39--45 (1990; Zbl 0716.03031)
Oger, Francis Cancellation and elementary equivalence of finitely generated finite-by-nilpotent groups. (English) Zbl 0696.20003 J. Lond. Math. Soc., II. Ser. 44, No. 1, 173-183 (1991). Reviewer: F.Oger MSC: 20A15 20F18 03C60 20F06 PDFBibTeX XMLCite \textit{F. Oger}, J. Lond. Math. Soc., II. Ser. 44, No. 1, 173--183 (1990; Zbl 0696.20003) Full Text: DOI
Remeslennikov, V. N. \(\exists\)-free groups. (English. Russian original) Zbl 0724.20025 Sib. Math. J. 30, No. 6, 998-1001 (1989); translation from Sib. Mat. Zh. 30, No. 6(178), 193-197 (1989). Reviewer: G.A.Noskov (Omsk) MSC: 20F10 20E05 03C60 20E26 PDFBibTeX XMLCite \textit{V. N. Remeslennikov}, Sib. Math. J. 30, No. 6, 998--1001 (1989; Zbl 0724.20025); translation from Sib. Mat. Zh. 30, No. 6(178), 193--197 (1989) Full Text: DOI
Madlener, Klaus; Otto, Friedrich About the descriptive power of certain classes of finite string-rewriting systems. (English) Zbl 0697.20017 Theor. Comput. Sci. 67, No. 2-3, 143-172 (1989). Reviewer: W.R.Nico MSC: 20F05 68Q45 68Q65 20E06 20M05 20M35 03D05 PDFBibTeX XMLCite \textit{K. Madlener} and \textit{F. Otto}, Theor. Comput. Sci. 67, No. 2--3, 143--172 (1989; Zbl 0697.20017) Full Text: DOI
Meyer Lockhart, Jody An HNN-extension with cyclic associated subgroups and with unsolvable conjugacy problem. (English) Zbl 0674.20019 Trans. Am. Math. Soc. 313, No. 1, 331-345 (1989). Reviewer: O.V.Belegradek MSC: 20F10 20E06 03D40 20F05 PDFBibTeX XMLCite \textit{J. Meyer Lockhart}, Trans. Am. Math. Soc. 313, No. 1, 331--345 (1989; Zbl 0674.20019) Full Text: DOI
Frougny, Christiane; Sakarovitch, Jacques; Schupp, Paul Finiteness conditions on subgroups and formal language theory. (English) Zbl 0674.20018 Proc. Lond. Math. Soc., III. Ser. 58, No. 1, 74-88 (1989). Reviewer: R.G.Burns MSC: 20F10 03D05 68Q45 PDFBibTeX XMLCite \textit{C. Frougny} et al., Proc. Lond. Math. Soc. (3) 58, No. 1, 74--88 (1989; Zbl 0674.20018) Full Text: DOI
Oger, Francis Elementary equivalence of a polycyclic-by-finite group and its profinite completion. (English) Zbl 0642.20002 Arch. Math. 52, No. 6, 521-525 (1989). Reviewer: F.Oger MSC: 20A15 03C60 20F19 20E18 PDFBibTeX XMLCite \textit{F. Oger}, Arch. Math. 52, No. 6, 521--525 (1989; Zbl 0642.20002) Full Text: DOI
Oger, Francis Elementary equivalence and genus of finitely generated nilpotent groups. (English) Zbl 0686.20032 Bull. Aust. Math. Soc. 37, No. 1, 61-68 (1988). MSC: 20F18 03C65 20A15 20F05 20E07 PDFBibTeX XMLCite \textit{F. Oger}, Bull. Aust. Math. Soc. 37, No. 1, 61--68 (1988; Zbl 0686.20032) Full Text: DOI
Shelah, Saharon Can the fundamental (homotopy) group of a space be the rationals? (English) Zbl 0661.55012 Proc. Am. Math. Soc. 103, No. 2, 627-632 (1988). Reviewer: D.C.Demaria MSC: 55Q05 03E15 PDFBibTeX XMLCite \textit{S. Shelah}, Proc. Am. Math. Soc. 103, No. 2, 627--632 (1988; Zbl 0661.55012) Full Text: DOI
Oger, Francis Elementary equivalence and profinite completions: A characterization of finitely generated Abelian-by-finite groups. (English) Zbl 0642.20001 Proc. Am. Math. Soc. 103, No. 4, 1041-1048 (1988). Reviewer: F.Oger MSC: 20A15 03C60 20F19 20E18 PDFBibTeX XMLCite \textit{F. Oger}, Proc. Am. Math. Soc. 103, No. 4, 1041--1048 (1988; Zbl 0642.20001) Full Text: DOI
Oger, Francis Cancellation and elementary equivalence of groups. (English) Zbl 0524.20002 J. Pure Appl. Algebra 30, 293-299 (1983). MSC: 20A15 03C60 20F06 PDFBibTeX XMLCite \textit{F. Oger}, J. Pure Appl. Algebra 30, 293--299 (1983; Zbl 0524.20002) Full Text: DOI
Burris, Stanley; Lawrence, John Two undecidability results using modified Boolean powers. (English) Zbl 0499.03029 Can. J. Math. 34, 500-505 (1982). MSC: 03D35 03C05 03C30 PDFBibTeX XMLCite \textit{S. Burris} and \textit{J. Lawrence}, Can. J. Math. 34, 500--505 (1982; Zbl 0499.03029) Full Text: DOI
Huber-Dyson, V. Finiteness conditions and the word problem. (English) Zbl 0494.20019 Groups, Conf. St. Andrews 1981, Lond. Math. Soc. Lect. Note Ser. 71, 244-251 (1982). MSC: 20F10 20E07 20F05 20E32 03D40 03D45 PDFBibTeX XML
Oger, Francis Équivalence élémentaire et genre de groupes finis-par-abeliens de type fini. (French) Zbl 0471.03032 C. R. Acad. Sci., Paris, Sér. I 293, 1-4 (1981). MSC: 03C60 20F05 20A15 20F19 PDFBibTeX XMLCite \textit{F. Oger}, C. R. Acad. Sci., Paris, Sér. I 293, 1--4 (1981; Zbl 0471.03032)
Belegradek, O. V. Decidable fragments of universal theories and existentially closed models. (English. Russian original) Zbl 0498.20024 Sib. Math. J. 21, 898-902 (1981); translation from Sib. Mat. Zh. 21, 196-201 (1980). MSC: 20F10 20A15 20F05 03C60 03B25 PDFBibTeX XMLCite \textit{O. V. Belegradek}, Sib. Math. J. 21, 898--902 (1980; Zbl 0498.20024); translation from Sib. Mat. Zh. 21, 196--201 (1980) Full Text: DOI
Ziegler, Martin Algebraisch abgeschlossene Gruppen. (German) Zbl 0451.20001 Word problems II, Stud. Logic Found. Math. Vol. 95, 449-576 (1980). MSC: 20A15 20F05 20F10 03D30 03D80 03C25 03C60 PDFBibTeX XML
Belegradek, O. V. Algebraic equivalents of the solvability of group-theoretic algorithmic problems. (English) Zbl 0444.20030 Sib. Math. J. 20, 673-680 (1980). MSC: 20F10 20F05 20A15 03D40 PDFBibTeX XMLCite \textit{O. V. Belegradek}, Sib. Math. J. 20, 673--680 (1980; Zbl 0444.20030) Full Text: DOI
Aanderaa, Stål O.; Cohen, Daniel E. Modular machines and the Higman-Clapham-Valiev embedding theorem. (English) Zbl 0441.20023 Word problems II, Stud. Logic Found. Math. Vol. 95, 17-28 (1980). MSC: 20F10 20E07 20F05 20A15 03D40 PDFBibTeX XML
Belegradek, O. V. Algebraische Äquivalente der Lösbarkeit von Algorithmusproblemen der Gruppentheorie. (Russian) Zbl 0426.20023 Sib. Mat. Zh. 20, 953-963 (1979). MSC: 20F10 20F05 20A15 03D40 PDFBibTeX XMLCite \textit{O. V. Belegradek}, Sib. Mat. Zh. 20, 953--963 (1979; Zbl 0426.20023)