Badaev, S. A.; Goncharov, S. S. Rogers semilattices with least and greatest elements in the Ershov hierarchy. (English. Russian original) Zbl 1515.03191 Algebra Logic 61, No. 3, 225-229 (2022); translation from Algebra Logika 61, No. 3, 334-340 (2022). MSC: 03D45 03D55 PDFBibTeX XMLCite \textit{S. A. Badaev} and \textit{S. S. Goncharov}, Algebra Logic 61, No. 3, 225--229 (2022; Zbl 1515.03191); translation from Algebra Logika 61, No. 3, 334--340 (2022) Full Text: DOI
Goncharov, S. S.; Harizanov, V.; Miller, R. On decidable categoricity and almost prime models. (English) Zbl 1446.03069 Sib. Adv. Math. 30, No. 3, 200-212 (2020). MSC: 03C57 03C35 03D45 PDFBibTeX XMLCite \textit{S. S. Goncharov} et al., Sib. Adv. Math. 30, No. 3, 200--212 (2020; Zbl 1446.03069) Full Text: DOI
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander Decompositions of decidable abelian groups. (English) Zbl 1516.03012 Int. J. Algebra Comput. 30, No. 1, 49-90 (2020). MSC: 03C57 03D45 20K10 20K15 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Int. J. Algebra Comput. 30, No. 1, 49--90 (2020; Zbl 1516.03012) Full Text: DOI
Goncharov, S. S.; Sviridenko, D. I. Recursive terms in semantic programming. (English. Russian original) Zbl 1486.68041 Sib. Math. J. 59, No. 6, 1014-1023 (2018); translation from Sib. Mat. Zh. 59, No. 6, 1279-1290 (2018). MSC: 68N30 03B70 03D80 68Q55 PDFBibTeX XMLCite \textit{S. S. Goncharov} and \textit{D. I. Sviridenko}, Sib. Math. J. 59, No. 6, 1014--1023 (2018; Zbl 1486.68041); translation from Sib. Mat. Zh. 59, No. 6, 1279--1290 (2018) Full Text: DOI
Goncharov, S. S.; Knight, J. F.; Souldatos, I. Hanf number for Scott sentences of computable structures. (English) Zbl 1522.03123 Arch. Math. Logic 57, No. 7-8, 889-907 (2018). MSC: 03C57 03D45 03C75 03C70 03C52 PDFBibTeX XMLCite \textit{S. S. Goncharov} et al., Arch. Math. Logic 57, No. 7--8, 889--907 (2018; Zbl 1522.03123) Full Text: DOI arXiv
Goncharov, S. S. Conditional terms in semantic programming. (English. Russian original) Zbl 1420.03059 Sib. Math. J. 58, No. 5, 794-800 (2017); translation from Sib. Mat. Zh. 58, No. 5, 1026-1034 (2017). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{S. S. Goncharov}, Sib. Math. J. 58, No. 5, 794--800 (2017; Zbl 1420.03059); translation from Sib. Mat. Zh. 58, No. 5, 1026--1034 (2017) Full Text: DOI
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. The index set of the groups autostable relative to strong constructivizations. (English. Russian original) Zbl 1420.03071 Sib. Math. J. 58, No. 1, 72-77 (2017); translation from Sib. Mat. Zh. 58, No. 1, 95-103 (2017). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. S. Goncharov} et al., Sib. Math. J. 58, No. 1, 72--77 (2017; Zbl 1420.03071); translation from Sib. Mat. Zh. 58, No. 1, 95--103 (2017) Full Text: DOI
Goncharov, S. S.; Marchuk, Margaret I. Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations. (English. Russian original) Zbl 1375.03037 Algebra Logic 54, No. 6, 428-439 (2016); translation from Algebra Logika 54, No. 6, 663-679 (2015). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. S. Goncharov} and \textit{M. I. Marchuk}, Algebra Logic 54, No. 6, 428--439 (2016; Zbl 1375.03037); translation from Algebra Logika 54, No. 6, 663--679 (2015) Full Text: DOI
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. Index sets of autostable relative to strong constructivizations constructive models for familiar classes. (English. Russian original) Zbl 1382.03060 Dokl. Math. 92, No. 2, 525-527 (2015); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 464, No. 1, 12-14 (2015). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. S. Goncharov} et al., Dokl. Math. 92, No. 2, 525--527 (2015; Zbl 1382.03060); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 464, No. 1, 12--14 (2015) Full Text: DOI
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 PDFBibTeX XMLCite \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
Goncharov, S. S.; Marchuk, M. I. Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations. (English. Russian original) Zbl 1347.03069 Algebra Logic 54, No. 2, 108-126 (2015); translation from Algebra Logika 54, No. 2, 163-192 (2015). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. S. Goncharov} and \textit{M. I. Marchuk}, Algebra Logic 54, No. 2, 108--126 (2015; Zbl 1347.03069); translation from Algebra Logika 54, No. 2, 163--192 (2015) Full Text: DOI
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. The index set of Boolean algebras autostable relative to strong constructivizations. (English. Russian original) Zbl 1328.03036 Sib. Math. J. 56, No. 3, 393-404 (2015); translation from Sib. Mat. Zh. 56, No. 3, 498-512 (2015). MSC: 03C57 03D45 03C15 06E05 PDFBibTeX XMLCite \textit{S. S. Goncharov} et al., Sib. Math. J. 56, No. 3, 393--404 (2015; Zbl 1328.03036); translation from Sib. Mat. Zh. 56, No. 3, 498--512 (2015) Full Text: DOI
Badaev, S. A.; Goncharov, S. S. Generalized computable universal numberings. (English. Russian original) Zbl 1318.03050 Algebra Logic 53, No. 5, 355-364 (2014); translation from Algebra Logika 53, No. 5 (2014). MSC: 03D45 PDFBibTeX XMLCite \textit{S. A. Badaev} and \textit{S. S. Goncharov}, Algebra Logic 53, No. 5, 355--364 (2014; Zbl 1318.03050); translation from Algebra Logika 53, No. 5 (2014) Full Text: DOI
Goncharov, S. S.; Marchuk, M. I. Index sets of constructive models that are autostable under strong constructivizations. (Russian, English) Zbl 1349.03037 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 4, 43-67 (2013); translation in J. Math. Sci., New York 205, No. 3, 368-388 (2015). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. S. Goncharov} and \textit{M. I. Marchuk}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 4, 43--67 (2013; Zbl 1349.03037); translation in J. Math. Sci., New York 205, No. 3, 368--388 (2015) Full Text: DOI
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \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
Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. Index sets for classes of high rank structures. (English) Zbl 1145.03021 J. Symb. Log. 72, No. 4, 1418-1432 (2007). Reviewer: Marat M. Arslanov (Kazan) MSC: 03D45 03C57 PDFBibTeX XMLCite \textit{W. Calvert} et al., J. Symb. Log. 72, No. 4, 1418--1432 (2007; Zbl 1145.03021) Full Text: DOI Euclid
Goncharov, S. S. Effectively infinite classes of weak constructivizations of models. (English. Russian original) Zbl 0824.03013 Algebra Logic 32, No. 6, 342-360 (1993); translation from Algebra Logika 32, No. 6, 631-664 (1993). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. S. Goncharov}, Algebra Logic 32, No. 6, 631--664 (1993; Zbl 0824.03013); translation from Algebra Logika 32, No. 6, 631--664 (1993) Full Text: DOI
Goncharov, S. S. Positive numerations of families with one-valued numerations. (English. Russian original) Zbl 0572.03023 Algebra Logic 22, 345-350 (1983); translation from Algebra Logika 22, No. 5, 481-488 (1983). Reviewer: P.Clote MSC: 03D45 03D25 03D20 PDFBibTeX XMLCite \textit{S. S. Goncharov}, Algebra Logic 22, 345--350 (1983; Zbl 0572.03023); translation from Algebra Logika 22, No. 5, 481--488 (1983) Full Text: DOI EuDML
Goncharov, S. S. Restricted theories of constructive Boolean algebras. (English) Zbl 0386.03013 Sib. Math. J. 17(1976), 601-611 (1977). MSC: 03C60 03B25 03F99 06E99 PDFBibTeX XMLCite \textit{S. S. Goncharov}, Sib. Math. J. 17, 601--611 (1977; Zbl 0386.03013) Full Text: DOI