Edit Profile (opens in new tab) Goncharov, Sergeĭ Savost’yanovich Compute Distance To: Compute Author ID: goncharov.sergei-savostyanovich Published as: Goncharov, S. S.; Goncharov, Sergey; Goncharov, Sergei S.; Goncharov, Sergey S.; Goncharov, Sergej S.; Goncharov, Sergeĭ; Goncharov, Sergej more...less Homepage: http://www.math.nsc.ru/LBRT/logic/persons/gonchar/win.html External Links: MGP · ORCID · Wikidata · Math-Net.Ru Documents Indexed: 186 Publications since 1973, including 5 Books 8 Contributions as Editor Biographic References: 1 Publication Co-Authors: 157 Co-Authors with 135 Joint Publications 3,458 Co-Co-Authors all top 5 Co-Authors 58 single-authored 22 Ershov, Yuriĭ Leonidovich 17 Schröder, Lutz 13 Badaev, Serikzhan A. 12 Knight, Julia F. 11 Mazurov, Viktor Danilovich 11 Sviridenko, D. I. 10 Harizanov, Valentina S. 9 Marchuk, Margaret I. 8 Morozov, Andreĭ Sergeevich 8 Rauch, Christoph 6 Godunov, Sergeĭ Konstantinovich 6 Romanovskii, N. S. 5 Bazhenov, Nikolaĭ Alekseevich 5 Borovkov, Aleksandr Alekseevich 5 Drobotun, B. N. 5 Sorbi, Andrea 4 Lavrent’ev, Mikhail Mikhaĭlovich 4 McCoy, Charles F. D. 4 Puzarenko, Vadim G. 3 Beklemishev, Lev D. 3 Beresnev, V. L. 3 Calvert, Wesley 3 Downey, Rodney Graham 3 Fokina, Ekaterina B. 3 Kharchenko, Vladislav K. 3 Khoussainov, Bakhadyr M. 3 Kudinov, Oleg Victorovich 3 Lavrov, Igor Andreevich 3 Lempp, Steffen 3 Maksimova, Larisa L’vovna 3 Mal’tsev, Arkadiĭ Anatol’evich 3 Milius, Stefan 3 Miller, Russell G. 3 Mossakowski, Till 3 Nerode, Anil 3 Odintsov, Sergei P. 3 Palyutin, Evgeniĭ Andreevich 3 Remmel, Jeffrey B. 3 Reshetnyak, Yuriĭ Grigor’evich 3 Solomon, Reed 3 Vasil’ev, Andreĭ Viktorovich 2 Alaev, Pavel Evgenievich 2 Ambos-Spies, Klaus 2 Churkin, Valerii Avdeevich 2 Dzgoev, V. D. 2 Gabbay, Dov M. 2 Jakob, Julian 2 Khusainov, B. Kh. 2 Kolesnikov, Pavel Sergeevich 2 Kozlov, Valeriĭ Vasil’evich 2 Kutateladze, Semën Samsonovich 2 Marek, V. Wiktor 2 Matiyasevich, Yuriĭ Vladimirovich 2 Melnikov, Alexander G. 2 Molokov, A. V. 2 Neves, Renato 2 Nurtazin, A. T. 2 Osipov, Yuriĭ Sergeevich 2 Pal’chunov, Dimitriĭ Evgen’evich 2 Pentus, Mati 2 Piróg, Maciej 2 Romanov, Vladimir Gavrilovich 2 Ryaskin, A. N. 2 Sadovnichiĭ, Viktor Antonovich 2 Semënov, Alekseĭ L’vovich 2 Shestakov, Ivan Pavlovich 2 Shore, Richard Arnold 2 Silva, Alexandra 2 Smirnov, Dmitrii Matveevich 2 Turetsky, Daniel D. 2 Vdovin, Evgeniĭ Petrovich 2 Yakhnis, Alexander 2 Yakhnis, Vladimir 2 Zakharyaschev, Michael Viktorovich 1 Adyan, Sergeĭ Ivanovich 1 Andreev, Nikolay N. 1 Ash, Christopher John 1 Atabekyan, Varuzhan S. 1 Baizhanov, Bektur Sembiuly 1 Bogopol’skiĭ, O. V. 1 Borisov, Igor S. 1 Bowler, Nathan 1 Bukhshtaber, Viktor Matveevich 1 Chatzidakis, Zoé Maria 1 Chernikov, Mykola Sergiĭovych 1 Chisholm, John Stephen Roy 1 Cholak, Peter A. 1 Cooper, Stuart Barry 1 Dobritsa, Vyacheslav P. 1 Filyurin, A. S. 1 Grechkoseeva, Mariya Aleksandrovna 1 Guba, Victor S. 1 Hirschfeldt, Denis Roman 1 Jung, Jean Christoph 1 Kach, Asher M. 1 Khisamiev, Nazif Garrifullinovich 1 Khramtsov, D. G. 1 Kogabaev, Nurlan Talgatovich 1 Konovalov, Anatoly Nikolaevich 1 Kopytov, Valerij M. ...and 57 more Co-Authors all top 5 Serials 21 Algebra and Logic 19 Algebra i Logika 13 Siberian Mathematical Journal 13 Sibirskiĭ Matematicheskiĭ Zhurnal 10 Vychislitel’nye Sistemy 8 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 7 Russian Mathematical Surveys 7 Doklady Mathematics 4 The Journal of Symbolic Logic 4 Siberian Advances in Mathematics 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Annals of Pure and Applied Logic 3 Archive for Mathematical Logic 3 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 3 Logical Methods in Computer Science 2 Mathematical Notes 2 Soviet Mathematics. Doklady 2 Theoretical Computer Science 2 Studies in Logic and the Foundations of Mathematics 2 Translations. Series 2. American Mathematical Society 1 Matematicheskie Zametki 1 Advances in Mathematics 1 Notre Dame Journal of Formal Logic 1 Proceedings of the American Mathematical Society 1 Studia Logica 1 Information and Computation 1 Formal Aspects of Computing 1 International Journal of Algebra and Computation 1 Soviet Physics. Doklady 1 Russian Academy of Sciences. Doklady. Mathematics 1 Vladikavkazskiĭ Matematicheskiĭ Zhurnal 1 ACM Transactions on Computational Logic 1 Proceedings of the Steklov Institute of Mathematics all top 5 Fields 148 Mathematical logic and foundations (03-XX) 48 Computer science (68-XX) 19 History and biography (01-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 14 Category theory; homological algebra (18-XX) 10 Group theory and generalizations (20-XX) 8 General and overarching topics; collections (00-XX) 4 General algebraic systems (08-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 127 Publications have been cited 1,009 times in 478 Documents Cited by ▼ Year ▼ Autostability of models. Zbl 0468.03023Goncharov, S. S.; Dzgoev, V. D. 72 1980 Constructive models. Transl. from the Russian. Zbl 0954.03036Ershov, Yu. L.; Goncharov, S. S. 40 2000 Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 40 2005 Constructive models. (Konstruktivnye modeli.) Zbl 1043.03518Goncharov, S. S.; Ershov, Yu. L. 37 1999 Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052Goncharov, S. S.; Sorbi, A. 34 1997 Countable Boolean algebras and decidability. (Schetnye bulevy algebry i razreshimost’.) Zbl 0902.03021Goncharov, S. S. 33 1996 Autostability of models and Abelian groups. Zbl 0468.03022Goncharov, S. S. 31 1980 Computable structure and non-structure theorems. Zbl 1034.03044Goncharov, S. S.; Knight, Julia F. 31 2002 Introduction to the Handbook of recursive mathematics. Zbl 0930.03037Ershov, Y. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B. 27 1998 Degrees of autostability relative to strong constructivizations. Zbl 1294.03025Goncharov, S. S. 24 2011 The problem of the number of nonautoequivalent constructivizations. Zbl 0476.03045Goncharov, S. S. 23 1980 Problem of the number of non-self-equivalent constructivizations. Zbl 0476.03046Goncharov, S. S. 22 1981 Countable Boolean algebras and decidability. Transl. from the Russian. Zbl 0912.03019Goncharov, S. S. 21 1997 Autostability and computable families of constructivizations. Zbl 0382.03033Goncharov, S. S. 21 1976 The quantity of nonautoequivalent constructivizations. Zbl 0407.03040Goncharov, S. S. 20 1978 The computable dimension of ordered abelian groups. Zbl 1031.03058Goncharov, Sergey S.; Lempp, Steffen; Solomon, Reed 19 2003 Computably categorical structures and expansions by constants. Zbl 0928.03040Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A. 17 1999 The theory of numberings: Open problems. Zbl 0961.03038Badaev, Serikzhan; Goncharov, Sergey 17 2000 Friedberg numberings of families of \(n\)-computably enumerable sets. Zbl 1063.03028Goncharov, S. S.; Lempp, Steffen; Solomon, D. R. 17 2002 Complexity of categorical theories with computable models. Zbl 1097.03027Goncharov, S. S.; Khusainov, Bakhadyr 16 2004 Computable single-valued numerations. Zbl 0514.03029Goncharov, S. S. 15 1981 Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara 14 2009 Trivial, strongly minimal theories are model complete after naming constants. Zbl 1035.03013Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D. 13 2003 Generalized computable universal numberings. Zbl 1318.03050Badaev, S. A.; Goncharov, S. S. 12 2014 Groups with a finite number of constructivizations. Zbl 0496.20021Goncharov, S. S. 11 1981 Nilpotent groups of finite algorithmic dimension. Zbl 0684.20025Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S. 11 1989 Countable Boolean algebras. (Schetnye bulevy algebry). Ed. by Yu. L. Ershov. (Schetnye bulevy algebry.) Zbl 0667.03024Goncharov, S. S. 10 1988 Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy. Zbl 1164.03340Badaev, S. A.; Goncharov, S. S.; Sorbi, A. 10 2006 Some properties of the constructivization of Boolean algebras. Zbl 0326.02033Goncharov, S. S. 10 1975 Semantic programming. Zbl 0606.68011Goncharov, S. S.; Ershov, Yu. L.; Sviridenko, D. I. 9 1986 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 9 1998 \(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A. 9 2004 Computability and computable models. Zbl 1143.03017Goncharov, Sergei S. 8 2007 Strong constructivizability of homogeneous models. Zbl 0441.03015Goncharov, S. S. 7 1979 Conditional terms in semantic programming. Zbl 1420.03059Goncharov, S. S. 7 2017 The index set of Boolean algebras autostable relative to strong constructivizations. Zbl 1328.03036Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. 7 2015 Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations. Zbl 1347.03069Goncharov, S. S.; Marchuk, M. I. 7 2015 Index sets of constructive models that are autostable under strong constructivizations. Zbl 1349.03037Goncharov, S. S.; Marchuk, M. I. 7 2013 Elementary theories for Rogers semilattices. Zbl 1106.03041Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea 7 2005 Index sets for classes of high rank structures. Zbl 1145.03021Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. 7 2007 Constructive models of complete solvable theories. Zbl 0282.02018Goncharov, S. S.; Nurtazin, A. T. 7 1974 Bounded theories of constructive Boolean algebras. Zbl 0361.02066Goncharov, S. S. 7 1976 Models of data and languages of their descriptions. Zbl 0621.68020Goncharov, S. S. 6 1985 Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel 6 2010 Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188Goncharov, Sergey; Pattinson, Dirk 6 2014 The index set of linear orderings that are autostable relative to strong constructivizations. Zbl 1349.03036Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. 6 2015 Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations. Zbl 1375.03037Goncharov, S. S.; Marchuk, Margaret I. 6 2016 Semantic foundations of programming. Zbl 0642.68029Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I. 6 1987 \(\Sigma\)-programming. Zbl 0671.03021Goncharov, S. S.; Sviridenko, D. I. 6 1989 Limiting equivalent constructivizations. Zbl 0543.03017Goncharov, S. S. 6 1982 Open problems in the theory of constructive algebraic systems. Zbl 0961.03037Goncharov, Sergey; Khoussainov, Bakhadyr 6 2000 Constructivizability of superatomic Boolean algebras. Zbl 0281.02049Goncharov, S. S. 6 1974 Theoretical aspects of \(\Sigma\)-programming. Zbl 0621.68021Goncharov, S. S.; Sviridenko, D. I. 5 1986 Index sets of autostable relative to strong constructivizations constructive models for familiar classes. Zbl 1382.03060Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. 5 2015 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002 5 1998 Algorithmic dimension of nilpotent groups. Zbl 0697.20021Goncharov, S. S.; Drobotun, B. N. 5 1989 On autostability of almost prime models relative to strong constructivizations. Zbl 1219.03038Goncharov, S. S. 5 2010 Autostable models and algorithmic dimensions. Zbl 0958.03030Goncharov, S. S. 5 1998 Computability and numberings. Zbl 1157.03022Badaev, Serikzhan; Goncharov, Sergey 5 2008 A coinductive calculus for asynchronous side-effecting processes. Zbl 1358.68212Goncharov, Sergey; Schröder, Lutz 5 2013 Index sets of almost prime constructive models. Zbl 1289.03027Goncharov, S. S. 5 2013 \(\Sigma\)-programming. Zbl 0628.03015Goncharov, S. S.; Sviridenko, D. I. 4 1985 Rogers semilattices of families of arithmetic sets. Zbl 0989.03040Badaev, S. A.; Goncharov, S. S. 4 2001 Constructive models of \(\aleph_1\)-categorical theories. Zbl 0403.03025Goncharov, S. S. 4 1978 Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004Goncharov, Sergey; Milius, Stefan; Rauch, Christoph 4 2016 Unguarded recursion on coinductive resumptions. Zbl 1351.68074Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz 4 2015 Nilpotent groups of finite algorithmic dimension. Zbl 0677.20024Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S. 4 1989 Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033Badaev, S. A.; Goncharov, S. S.; Sorbi, A. 4 2003 Positive numerations of families with one-valued numerations. Zbl 0572.03023Goncharov, S. S. 4 1983 Degree spectra of relations on Boolean algebras. Zbl 1034.03043Goncharov, S. S.; Downey, Rod G.; Hirschfeldt, Denis R. 4 2003 Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes. Zbl 1143.03016Calvert, W.; Goncharov, S. S.; Knight, J. F. 4 2007 Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till 4 2009 A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023Goncharov, Sergey; Schröder, Lutz 4 2013 An example of a constructive Abelian group with a non-constructivizable reduced subgroup. Zbl 0603.20049Dobritsa, V. P.; Goncharov, S. S. 3 1985 A unique positive enumeration. Zbl 0849.03035Goncharov, S. S. 3 1994 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2014 \(\Sigma^+\)-programs and their semantics. Zbl 0696.03014Goncharov, S. S.; Sviridenko, D. I. 3 1987 Trace semantics via generic observations. Zbl 1394.68218Goncharov, Sergey 3 2013 Autostability of prime models under strong constructivizations. Zbl 1241.03043Goncharov, S. S. 3 2009 Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. Zbl 1330.03076Goncharov, S. S.; Marchuk, M. I. 3 2015 Recursive terms in semantic programming. Zbl 07035746Goncharov, S. S.; Sviridenko, D. I. 3 2018 Unifying guarded and unguarded iteration. Zbl 06721009Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej 3 2017 Unguarded recursion on coinductive resumptions. Zbl 06932686Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian 2 2018 Guarded traced categories. Zbl 06904543Goncharov, Sergey; Schröder, Lutz 2 2018 Totally transcendental theory with a nonconstructivizable prime model. Zbl 0467.03008Goncharov, S. S. 2 1980 Totally transcendental theory with non-constructivizable prime model. Zbl 0463.03005Goncharov, S. S. 2 1980 Mathematical bases of semantic programming. Zbl 0643.68015Goncharov, S. S.; Sviridenko, D. I. 2 1986 Theory of lists and its models. Zbl 0646.68035Goncharov, S. S. 2 1986 Simple and immune relations on countable structures. Zbl 1024.03034Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D. 2 2003 Semantic programming. Zbl 0636.68013Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I. 2 1986 Completeness of global evaluation logic. Zbl 1132.68328Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till 2 2006 A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231Goncharov, Sergey; Schröder, Lutz 2 2011 On automorphic tuples of elements in computable models. Zbl 1224.03013Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V. 2 2005 Inductive inference and computable numberings. Zbl 1221.03035Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey 2 2011 Elementary theories and their constructive models. Zbl 0952.03036Ershov, Yu. L.; Goncharov, S. S. 2 1998 Isomorphisms and definable relations on computable models. Zbl 1157.03012Goncharov, S. S. 2 2008 Decompositions of decidable abelian groups. Zbl 07167884Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander 2 2020 Categoricity of computable infinitary theories. Zbl 1161.03020Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica 2 2009 Konstruktive Modelle \(\aleph_1\)-kategorialer Theorien. Zbl 0385.03025Goncharov, S. S. 2 1978 The index set of the groups autostable relative to strong constructivizations. Zbl 1420.03071Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. 2 2017 Decompositions of decidable abelian groups. Zbl 07167884Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander 2 2020 On decidable categoricity and almost prime models. Zbl 1446.03069Goncharov, S. S.; Harizanov, V.; Miller, R. 1 2020 Turing degrees of complete formulas of almost prime models. Zbl 1485.03112Goncharov, S. S.; Miller, R.; Harizanov, V. 1 2019 Recursive terms in semantic programming. Zbl 07035746Goncharov, S. S.; Sviridenko, D. I. 3 2018 Unguarded recursion on coinductive resumptions. Zbl 06932686Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian 2 2018 Guarded traced categories. Zbl 06904543Goncharov, Sergey; Schröder, Lutz 2 2018 A metalanguage for guarded iteration. Zbl 06983508Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz 1 2018 Conditional terms in semantic programming. Zbl 1420.03059Goncharov, S. S. 7 2017 Unifying guarded and unguarded iteration. Zbl 06721009Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej 3 2017 The index set of the groups autostable relative to strong constructivizations. Zbl 1420.03071Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. 2 2017 Generic Hoare logic for order-enriched effects with exceptions. Zbl 07152411Rauch, Christoph; Goncharov, Sergey; Schröder, Lutz 1 2017 Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations. Zbl 1375.03037Goncharov, S. S.; Marchuk, Margaret I. 6 2016 Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004Goncharov, Sergey; Milius, Stefan; Rauch, Christoph 4 2016 The index set of Boolean algebras autostable relative to strong constructivizations. Zbl 1328.03036Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. 7 2015 Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations. Zbl 1347.03069Goncharov, S. S.; Marchuk, M. I. 7 2015 The index set of linear orderings that are autostable relative to strong constructivizations. Zbl 1349.03036Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. 6 2015 Index sets of autostable relative to strong constructivizations constructive models for familiar classes. Zbl 1382.03060Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I. 5 2015 Unguarded recursion on coinductive resumptions. Zbl 1351.68074Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz 4 2015 Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. Zbl 1330.03076Goncharov, S. S.; Marchuk, M. I. 3 2015 Generalized computable universal numberings. Zbl 1318.03050Badaev, S. A.; Goncharov, S. S. 12 2014 Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188Goncharov, Sergey; Pattinson, Dirk 6 2014 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2014 Index sets of constructive models that are autostable under strong constructivizations. Zbl 1349.03037Goncharov, S. S.; Marchuk, M. I. 7 2013 A coinductive calculus for asynchronous side-effecting processes. Zbl 1358.68212Goncharov, Sergey; Schröder, Lutz 5 2013 Index sets of almost prime constructive models. Zbl 1289.03027Goncharov, S. S. 5 2013 A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023Goncharov, Sergey; Schröder, Lutz 4 2013 Trace semantics via generic observations. Zbl 1394.68218Goncharov, Sergey 3 2013 Exploring the boundaries of monad tensorability on Set. Zbl 1287.18004Bowler, Nathan; Goncharov, Sergey; Levy, Paul Blain; Schröder, Lutz 1 2013 Degrees of autostability relative to strong constructivizations. Zbl 1294.03025Goncharov, S. S. 24 2011 A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231Goncharov, Sergey; Schröder, Lutz 2 2011 Inductive inference and computable numberings. Zbl 1221.03035Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey 2 2011 A counterexample to tensorability of effects. Zbl 1287.18006Goncharov, Sergey; Schröder, Lutz 1 2011 Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel 6 2010 On autostability of almost prime models relative to strong constructivizations. Zbl 1219.03038Goncharov, S. S. 5 2010 A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey 1 2010 Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara 14 2009 Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till 4 2009 Autostability of prime models under strong constructivizations. Zbl 1241.03043Goncharov, S. S. 3 2009 Categoricity of computable infinitary theories. Zbl 1161.03020Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica 2 2009 Computability and numberings. Zbl 1157.03022Badaev, Serikzhan; Goncharov, Sergey 5 2008 Isomorphisms and definable relations on computable models. Zbl 1157.03012Goncharov, S. S. 2 2008 On a question of Frank Stephan. Zbl 1140.03313Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey 1 2008 Computability and computable models. Zbl 1143.03017Goncharov, Sergei S. 8 2007 Index sets for classes of high rank structures. Zbl 1145.03021Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. 7 2007 Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes. Zbl 1143.03016Calvert, W.; Goncharov, S. S.; Knight, J. F. 4 2007 Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy. Zbl 1164.03340Badaev, S. A.; Goncharov, S. S.; Sorbi, A. 10 2006 Completeness of global evaluation logic. Zbl 1132.68328Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till 2 2006 Mathematical problems from applied logic. I. Logics for the XXIst century. Zbl 1085.03002 1 2006 Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Zbl 1105.03004 1 2006 Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 40 2005 Elementary theories for Rogers semilattices. Zbl 1106.03041Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea 7 2005 On automorphic tuples of elements in computable models. Zbl 1224.03013Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V. 2 2005 Complexity of categorical theories with computable models. Zbl 1097.03027Goncharov, S. S.; Khusainov, Bakhadyr 16 2004 \(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A. 9 2004 The computable dimension of ordered abelian groups. Zbl 1031.03058Goncharov, Sergey S.; Lempp, Steffen; Solomon, Reed 19 2003 Trivial, strongly minimal theories are model complete after naming constants. Zbl 1035.03013Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D. 13 2003 Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033Badaev, S. A.; Goncharov, S. S.; Sorbi, A. 4 2003 Degree spectra of relations on Boolean algebras. Zbl 1034.03043Goncharov, S. S.; Downey, Rod G.; Hirschfeldt, Denis R. 4 2003 Simple and immune relations on countable structures. Zbl 1024.03034Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D. 2 2003 Computability and models. Perspectives east and west. Zbl 1104.03001 1 2003 Computable structure and non-structure theorems. Zbl 1034.03044Goncharov, S. S.; Knight, Julia F. 31 2002 Friedberg numberings of families of \(n\)-computably enumerable sets. Zbl 1063.03028Goncharov, S. S.; Lempp, Steffen; Solomon, D. R. 17 2002 Rogers semilattices of families of arithmetic sets. Zbl 0989.03040Badaev, S. A.; Goncharov, S. S. 4 2001 On the complexity of theories of \(\aleph_1\)-categorical models. Zbl 1018.03030Goncharov, S. S.; Khusainov, B. Kh. 1 2001 Constructive models. Transl. from the Russian. Zbl 0954.03036Ershov, Yu. L.; Goncharov, S. S. 40 2000 The theory of numberings: Open problems. Zbl 0961.03038Badaev, Serikzhan; Goncharov, Sergey 17 2000 Open problems in the theory of constructive algebraic systems. Zbl 0961.03037Goncharov, Sergey; Khoussainov, Bakhadyr 6 2000 Constructive models. (Konstruktivnye modeli.) Zbl 1043.03518Goncharov, S. S.; Ershov, Yu. L. 37 1999 Computably categorical structures and expansions by constants. Zbl 0928.03040Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A. 17 1999 Introduction to the Handbook of recursive mathematics. Zbl 0930.03037Ershov, Y. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B. 27 1998 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 9 1998 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002 5 1998 Autostable models and algorithmic dimensions. Zbl 0958.03030Goncharov, S. S. 5 1998 Elementary theories and their constructive models. Zbl 0952.03036Ershov, Yu. L.; Goncharov, S. S. 2 1998 Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052Goncharov, S. S.; Sorbi, A. 34 1997 Countable Boolean algebras and decidability. Transl. from the Russian. Zbl 0912.03019Goncharov, S. S. 21 1997 On the spectrum of degrees of decidable relations. Zbl 0961.03032Goncharov, S. S.; Khusainov, B. 1 1997 Countable Boolean algebras and decidability. (Schetnye bulevy algebry i razreshimost’.) Zbl 0902.03021Goncharov, S. S. 33 1996 On computable minimal enumerations. Zbl 0852.03020Badaev, Serikzhan A.; Goncharov, Sergej S. 1 1996 A unique positive enumeration. Zbl 0849.03035Goncharov, S. S. 3 1994 Classes with pairwise equivalent enumerations. Zbl 0969.03513Goncharov, S. S.; Badaev, S. A. 1 1994 Computable classes of constructivizations for models of finite constructivizability type. Zbl 0860.03032Goncharov, S. S. 1 1993 Positive computable numberings. Zbl 0815.03030Goncharov, S. S. 1 1993 Strong constructibility of Boolean algebras of elementary characteristic (1,1,0). Zbl 0824.03018Vlasov, V. N.; Goncharov, S. S. 1 1993 Effectively infinite classes of weak constructivizations of models. Zbl 0824.03013Goncharov, S. S. 1 1993 Nilpotent groups of finite algorithmic dimension. Zbl 0684.20025Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S. 11 1989 \(\Sigma\)-programming. Zbl 0671.03021Goncharov, S. S.; Sviridenko, D. I. 6 1989 Algorithmic dimension of nilpotent groups. Zbl 0697.20021Goncharov, S. S.; Drobotun, B. N. 5 1989 Nilpotent groups of finite algorithmic dimension. Zbl 0677.20024Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S. 4 1989 Data models and languages for their description. Zbl 0674.68019Goncharov, S. S. 1 1989 On algorithmic dimension of nilpotent groups. Zbl 0682.20025Goncharov, S. S.; Drobotun, B. N. 1 1989 Countable Boolean algebras. (Schetnye bulevy algebry). Ed. by Yu. L. Ershov. (Schetnye bulevy algebry.) Zbl 0667.03024Goncharov, S. S. 10 1988 Semantic foundations of programming. Zbl 0642.68029Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I. 6 1987 \(\Sigma^+\)-programs and their semantics. Zbl 0696.03014Goncharov, S. S.; Sviridenko, D. I. 3 1987 Semantic programming. Zbl 0606.68011Goncharov, S. S.; Ershov, Yu. L.; Sviridenko, D. I. 9 1986 Theoretical aspects of \(\Sigma\)-programming. Zbl 0621.68021Goncharov, S. S.; Sviridenko, D. I. 5 1986 Mathematical bases of semantic programming. Zbl 0643.68015Goncharov, S. S.; Sviridenko, D. I. 2 1986 Theory of lists and its models. Zbl 0646.68035Goncharov, S. S. 2 1986 Semantic programming. Zbl 0636.68013Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I. 2 1986 A remark on axioms of the GES. Zbl 0645.03025Goncharov, S. S. 1 1986 ...and 27 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 277 Authors 47 Bazhenov, Nikolaĭ Alekseevich 47 Goncharov, Sergeĭ Savost’yanovich 36 Melnikov, Alexander G. 25 Kalimullin, Iskander Shagitovich 24 Harizanov, Valentina S. 21 Downey, Rodney Graham 17 Khoussainov, Bakhadyr M. 17 Knight, Julia F. 16 Ng, KengMeng 15 Montalbán, Antonio 14 Harrison-Trainor, Matthew 13 Lempp, Steffen 12 Fokina, Ekaterina B. 12 Marchuk, Margaret I. 12 Miller, Russell G. 11 Hirschfeldt, Denis Roman 11 Shore, Richard Arnold 10 Faĭzrahmanov, Marat Khaidarovich 10 Greenberg, Noam 10 Morozov, Andreĭ Sergeevich 10 Mustafa, Manat 10 Selivanov, Viktor L’vovich 10 Solomon, Reed 10 Turetsky, Daniel D. 9 Alaev, Pavel Evgenievich 9 Badaev, Serikzhan A. 9 Cenzer, Douglas 9 Puzarenko, Vadim G. 8 Ospichev, Sergeĭ Sergeevich 8 Schröder, Lutz 7 Csima, Barbara F. 7 Faizrakhmanov, Marat Kh. 7 Kasymov, Nadimulla Khabibullaevich 7 Kogabaev, Nurlan Talgatovich 7 Peretyat’kin, Mikhail G. 6 Calvert, Wesley 6 Kach, Asher M. 6 Khisamiev, Nazif Garrifullinovich 6 Pal’chunov, Dimitriĭ Evgen’evich 6 Rauch, Christoph 6 Ventsov, Yu. G. 5 Andrews, Uri 5 Kalmurzaev, Birzhan S. 5 Kudinov, Oleg Victorovich 5 Leont’eva, Margarita Nikolaevna 5 Milius, Stefan 5 Slaman, Theodore A. 5 Stephan, Frank 5 Yamaleev, Mars Mansurovich 4 Aleksandrova, S. A. 4 Brengos, Tomasz 4 Chisholm, John Stephen Roy 4 Cholak, Peter A. 4 Khisamiev, A. N. 4 Laskowski, Michael Chris 4 Mantsivoda, Andreĭ Valer’evich 4 McCoy, Charles F. D. 4 Moses, Michael F. 4 Remmel, Jeffrey B. 4 Rossegger, Dino 3 Ash, Christopher John 3 Case, John 3 Chubb, Jennifer 3 Dimitrov, Rumen D. 3 Dzgoev, V. D. 3 Husainov, Ahmet A. 3 Issakhov, A. A. 3 Jain, Sanjay 3 Karpenko, Anastasia Valer’evna 3 Khusainov, B. M. 3 Korovina, Margarita Vladimirovna 3 Lange, Karen 3 McNicholl, Timothy H. 3 Millar, Jessica 3 Piróg, Maciej 3 Quinn, Sara 3 San Mauro, Luca 3 Selivanova, Svetlana V. 3 Semukhin, Pavel 3 Shlapentokh, Alexandra 3 Sorbi, Andrea 3 Sudoplatov, Sergeĭ Vladimirovich 3 Tusupov, Dzhamalbek Aliaskarovich 2 Ambos-Spies, Klaus 2 Belyaev, Vissarion V. 2 Blinov, K. V. 2 Bonchi, Filippo 2 Brattka, Vasco 2 Brodhead, Paul 2 Dadazhanov, Ruzmat Normatovich 2 Dorzhieva, Marina Valerianovna 2 Friedman, Sy-David 2 Harrington, Leo A. 2 Igusa, Gregory 2 Katsumata, Shin-ya 2 Kulpeshov, Beibut Shaiykovich 2 Kuske, Dietrich 2 Levy, Paul Blain 2 Mamouras, Konstantinos 2 Mermelstein, Omer ...and 177 more Authors all top 5 Cited in 56 Serials 114 Algebra and Logic 50 Siberian Mathematical Journal 41 Annals of Pure and Applied Logic 35 The Journal of Symbolic Logic 19 Archive for Mathematical Logic 18 The Bulletin of Symbolic Logic 13 Proceedings of the American Mathematical Society 11 Lobachevskii Journal of Mathematics 10 Transactions of the American Mathematical Society 9 Theoretical Computer Science 9 Journal of Mathematical Sciences (New York) 8 Doklady Mathematics 8 Journal of Mathematical Logic 8 Sibirskie Èlektronnye Matematicheskie Izvestiya 7 Logical Methods in Computer Science 6 Mathematical Logic Quarterly (MLQ) 5 Theory of Computing Systems 5 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 5 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 4 Journal of Algebra 4 Notre Dame Journal of Formal Logic 4 Information and Computation 4 Russian Mathematics 3 Mathematical Notes 3 Advances in Mathematics 3 International Journal of Algebra and Computation 3 Computability 2 Israel Journal of Mathematics 2 Studia Logica 2 MSCS. Mathematical Structures in Computer Science 2 Matematicheskie Trudy 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Bulletin of the Australian Mathematical Society 1 Information Processing Letters 1 The Mathematical Intelligencer 1 Algebra i Logika 1 Fundamenta Mathematicae 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 Memoirs of the American Mathematical Society 1 Journal of the American Mathematical Society 1 Formal Aspects of Computing 1 Journal of Knot Theory and its Ramifications 1 Cybernetics and Systems Analysis 1 Russian Journal of Mathematical Physics 1 Annals of Mathematics and Artificial Intelligence 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 The Journal of Logic and Algebraic Programming 1 Oberwolfach Reports 1 Proceedings of the Steklov Institute of Mathematics 1 The Review of Symbolic Logic 1 Eurasian Mathematical Journal 1 Nonlinear Analysis. Theory, Methods & Applications 1 Journal of Siberian Federal University. Mathematics & Physics all top 5 Cited in 30 Fields 418 Mathematical logic and foundations (03-XX) 68 Computer science (68-XX) 52 Order, lattices, ordered algebraic structures (06-XX) 39 Group theory and generalizations (20-XX) 19 Category theory; homological algebra (18-XX) 12 General and overarching topics; collections (00-XX) 10 General algebraic systems (08-XX) 6 Field theory and polynomials (12-XX) 5 Geometry (51-XX) 4 Combinatorics (05-XX) 3 Associative rings and algebras (16-XX) 3 Ordinary differential equations (34-XX) 2 Number theory (11-XX) 2 Commutative algebra (13-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Nonassociative rings and algebras (17-XX) 2 Information and communication theory, circuits (94-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Abstract harmonic analysis (43-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.