×

Goncharov, Sergeĭ Savost’yanovich

Compute Distance To:
Author ID: goncharov.sergei-savostyanovich Recent zbMATH articles by "Goncharov, Sergeĭ Savost’yanovich"
Published as: Goncharov, S. S.; Goncharov, Sergey; Goncharov, Sergei S.; Goncharov, Sergey S.; Goncharov, Sergej S.; Goncharov, Sergeĭ; Goncharov, Sergej
Homepage: http://www.math.nsc.ru/LBRT/logic/persons/gonchar/win.html
External Links: MGP · ORCID · Wikidata · Math-Net.Ru · IdRef
Documents Indexed: 186 Publications since 1973, including 5 Books
8 Contributions as Editor
Biographic References: 1 Publication
Co-Authors: 156 Co-Authors with 135 Joint Publications
3,491 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, Vladimir Leonidovich
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 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.
1 Kulpeshov, Beibut Shaiykovich
...and 56 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

129 Publications have been cited 1,020 times in 482 Documents Cited by Year
Autostability of models. Zbl 0468.03023
Goncharov, S. S.; Dzgoev, V. D.
72
1980
Constructive models. Transl. from the Russian. Zbl 0954.03036
Ershov, Yu. L.; Goncharov, S. S.
41
2000
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
41
2005
Constructive models. (Konstruktivnye modeli.) Zbl 1043.03518
Goncharov, S. S.; Ershov, Yu. L.
38
1999
Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052
Goncharov, S. S.; Sorbi, A.
34
1997
Countable Boolean algebras and decidability. (Schetnye bulevy algebry i razreshimost’.) Zbl 0902.03021
Goncharov, S. S.
33
1996
Computable structure and non-structure theorems. Zbl 1034.03044
Goncharov, S. S.; Knight, Julia F.
31
2002
Autostability of models and Abelian groups. Zbl 0468.03022
Goncharov, S. S.
31
1980
Introduction to the Handbook of recursive mathematics. Zbl 0930.03037
Ershov, Y. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.
27
1998
Degrees of autostability relative to strong constructivizations. Zbl 1294.03025
Goncharov, S. S.
24
2011
The problem of the number of nonautoequivalent constructivizations. Zbl 0476.03045
Goncharov, S. S.
23
1980
Problem of the number of non-self-equivalent constructivizations. Zbl 0476.03046
Goncharov, S. S.
22
1981
Countable Boolean algebras and decidability. Transl. from the Russian. Zbl 0912.03019
Goncharov, S. S.
22
1997
Autostability and computable families of constructivizations. Zbl 0382.03033
Goncharov, S. S.
21
1976
The quantity of nonautoequivalent constructivizations. Zbl 0407.03040
Goncharov, S. S.
20
1978
The computable dimension of ordered abelian groups. Zbl 1031.03058
Goncharov, Sergey S.; Lempp, Steffen; Solomon, Reed
19
2003
Friedberg numberings of families of \(n\)-computably enumerable sets. Zbl 1063.03028
Goncharov, S. S.; Lempp, Steffen; Solomon, D. R.
17
2002
The theory of numberings: Open problems. Zbl 0961.03038
Badaev, Serikzhan; Goncharov, Sergey
17
2000
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
17
1999
Complexity of categorical theories with computable models. Zbl 1097.03027
Goncharov, S. S.; Khusainov, Bakhadyr
16
2004
Computable single-valued numerations. Zbl 0514.03029
Goncharov, S. S.
15
1981
Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019
Chisholm, 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.03013
Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D.
13
2003
Generalized computable universal numberings. Zbl 1318.03050
Badaev, S. A.; Goncharov, S. S.
12
2014
Groups with a finite number of constructivizations. Zbl 0496.20021
Goncharov, S. S.
11
1981
Nilpotent groups of finite algorithmic dimension. Zbl 0684.20025
Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S.
11
1989
Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy. Zbl 1164.03340
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
10
2006
Countable Boolean algebras. (Schetnye bulevy algebry). Ed. by Yu. L. Ershov. (Schetnye bulevy algebry.) Zbl 0667.03024
Goncharov, S. S.
10
1988
Some properties of the constructivization of Boolean algebras. Zbl 0326.02033
Goncharov, S. S.
10
1975
\(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051
Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A.
9
2004
Semantic programming. Zbl 0606.68011
Goncharov, S. S.; Ershov, Yu. L.; Sviridenko, D. I.
9
1986
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
9
1998
Computability and computable models. Zbl 1143.03017
Goncharov, Sergei S.
8
2007
Conditional terms in semantic programming. Zbl 1420.03059
Goncharov, S. S.
8
2017
Elementary theories for Rogers semilattices. Zbl 1106.03041
Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea
7
2005
Strong constructivizability of homogeneous models. Zbl 0441.03015
Goncharov, S. S.
7
1979
Index sets for classes of high rank structures. Zbl 1145.03021
Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V.
7
2007
Index sets of constructive models that are autostable under strong constructivizations. Zbl 1349.03037
Goncharov, S. S.; Marchuk, M. I.
7
2013
\(\Sigma\)-programming. Zbl 0671.03021
Goncharov, S. S.; Sviridenko, D. I.
7
1989
Models of data and languages of their descriptions. Zbl 0621.68020
Goncharov, S. S.
7
1985
Constructive models of complete solvable theories. Zbl 0282.02018
Goncharov, S. S.; Nurtazin, A. T.
7
1974
The index set of Boolean algebras autostable relative to strong constructivizations. Zbl 1328.03036
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.
7
2015
Bounded theories of constructive Boolean algebras. Zbl 0361.02066
Goncharov, S. S.
7
1976
Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations. Zbl 1347.03069
Goncharov, S. S.; Marchuk, M. I.
7
2015
Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188
Goncharov, Sergey; Pattinson, Dirk
6
2014
Semantic foundations of programming. Zbl 0642.68029
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
6
1987
Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations. Zbl 1375.03037
Goncharov, S. S.; Marchuk, Margaret I.
6
2016
The index set of linear orderings that are autostable relative to strong constructivizations. Zbl 1349.03036
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.
6
2015
Open problems in the theory of constructive algebraic systems. Zbl 0961.03037
Goncharov, Sergey; Khoussainov, Bakhadyr
6
2000
Limiting equivalent constructivizations. Zbl 0543.03017
Goncharov, S. S.
6
1982
Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063
Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel
6
2010
Constructivizability of superatomic Boolean algebras. Zbl 0281.02049
Goncharov, S. S.
6
1974
On autostability of almost prime models relative to strong constructivizations. Zbl 1219.03038
Goncharov, S. S.
5
2010
A coinductive calculus for asynchronous side-effecting processes. Zbl 1358.68212
Goncharov, Sergey; Schröder, Lutz
5
2013
Computability and numberings. Zbl 1157.03022
Badaev, Serikzhan; Goncharov, Sergey
5
2008
Algorithmic dimension of nilpotent groups. Zbl 0697.20021
Goncharov, S. S.; Drobotun, B. N.
5
1989
Index sets of almost prime constructive models. Zbl 1289.03027
Goncharov, S. S.
5
2013
Index sets of autostable relative to strong constructivizations constructive models for familiar classes. Zbl 1382.03060
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.
5
2015
Theoretical aspects of \(\Sigma\)-programming. Zbl 0621.68021
Goncharov, S. S.; Sviridenko, D. I.
5
1986
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
5
1998
Autostable models and algorithmic dimensions. Zbl 0958.03030
Goncharov, S. S.
5
1998
Constructive models of \(\aleph_1\)-categorical theories. Zbl 0403.03025
Goncharov, S. S.
4
1978
Degree spectra of relations on Boolean algebras. Zbl 1034.03043
Goncharov, S. S.; Downey, Rod G.; Hirschfeldt, Denis R.
4
2003
Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
4
2003
Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004
Goncharov, Sergey; Milius, Stefan; Rauch, Christoph
4
2016
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
4
2014
Rogers semilattices of families of arithmetic sets. Zbl 0989.03040
Badaev, S. A.; Goncharov, S. S.
4
2001
Nilpotent groups of finite algorithmic dimension. Zbl 0677.20024
Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S.
4
1989
Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
4
2009
\(\Sigma\)-programming. Zbl 0628.03015
Goncharov, S. S.; Sviridenko, D. I.
4
1985
Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes. Zbl 1143.03016
Calvert, W.; Goncharov, S. S.; Knight, J. F.
4
2007
Positive numerations of families with one-valued numerations. Zbl 0572.03023
Goncharov, S. S.
4
1983
Unguarded recursion on coinductive resumptions. Zbl 1351.68074
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz
4
2015
A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023
Goncharov, Sergey; Schröder, Lutz
4
2013
Recursive terms in semantic programming. Zbl 1486.68041
Goncharov, S. S.; Sviridenko, D. I.
4
2018
Autostability of prime models under strong constructivizations. Zbl 1241.03043
Goncharov, S. S.
3
2009
\(\Sigma^+\)-programs and their semantics. Zbl 0696.03014
Goncharov, S. S.; Sviridenko, D. I.
3
1987
An example of a constructive Abelian group with a non-constructivizable reduced subgroup. Zbl 0603.20049
Dobritsa, V. P.; Goncharov, S. S.
3
1985
A unique positive enumeration. Zbl 0849.03035
Goncharov, S. S.
3
1994
Unifying guarded and unguarded iteration. Zbl 1486.68040
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej
3
2017
Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. Zbl 1330.03076
Goncharov, S. S.; Marchuk, M. I.
3
2015
Trace semantics via generic observations. Zbl 1394.68218
Goncharov, Sergey
3
2013
On automorphic tuples of elements in computable models. Zbl 1224.03013
Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V.
2
2005
Inductive inference and computable numberings. Zbl 1221.03035
Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey
2
2011
Konstruktive Modelle \(\aleph_1\)-kategorialer Theorien. Zbl 0385.03025
Goncharov, S. S.
2
1978
Isomorphisms and definable relations on computable models. Zbl 1157.03012
Goncharov, S. S.
2
2008
Mathematical bases of semantic programming. Zbl 0643.68015
Goncharov, S. S.; Sviridenko, D. I.
2
1986
Simple and immune relations on countable structures. Zbl 1024.03034
Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D.
2
2003
Decompositions of decidable abelian groups. Zbl 07167884
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander
2
2020
A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231
Goncharov, Sergey; Schröder, Lutz
2
2011
Theory of lists and its models. Zbl 0646.68035
Goncharov, S. S.
2
1986
Totally transcendental theory with non-constructivizable prime model. Zbl 0463.03005
Goncharov, S. S.
2
1980
Totally transcendental theory with a nonconstructivizable prime model. Zbl 0467.03008
Goncharov, S. S.
2
1980
Categoricity of computable infinitary theories. Zbl 1161.03020
Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica
2
2009
Semantic programming. Zbl 0636.68013
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
2
1986
Elementary theories and their constructive models. Zbl 0952.03036
Ershov, Yu. L.; Goncharov, S. S.
2
1998
Completeness of global evaluation logic. Zbl 1132.68328
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
2
2006
Guarded traced categories. Zbl 06904543
Goncharov, Sergey; Schröder, Lutz
2
2018
The index set of the groups autostable relative to strong constructivizations. Zbl 1420.03071
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.
2
2017
Unguarded recursion on coinductive resumptions. Zbl 06932686
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian
2
2018
Decompositions of decidable abelian groups. Zbl 07167884
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander
2
2020
The expressiveness of looping terms in the semantic programming. Zbl 1445.68053
Goncharov, Sergeĭ; Ospichev, Sergeĭ; Ponomaryov, Denis; Sviridenko, Dmitriĭ
1
2020
On decidable categoricity and almost prime models. Zbl 1446.03069
Goncharov, S. S.; Harizanov, V.; Miller, R.
1
2020
Turing degrees of complete formulas of almost prime models. Zbl 1485.03112
Goncharov, S. S.; Miller, R.; Harizanov, V.
1
2019
Logical language of description of polynomial computing. Zbl 1432.03048
Goncharov, S. S.; Sviridenko, D. I.
1
2019
Recursive terms in semantic programming. Zbl 1486.68041
Goncharov, S. S.; Sviridenko, D. I.
4
2018
Guarded traced categories. Zbl 06904543
Goncharov, Sergey; Schröder, Lutz
2
2018
Unguarded recursion on coinductive resumptions. Zbl 06932686
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian
2
2018
A metalanguage for guarded iteration. Zbl 06983508
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz
1
2018
Conditional terms in semantic programming. Zbl 1420.03059
Goncharov, S. S.
8
2017
Unifying guarded and unguarded iteration. Zbl 1486.68040
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej
3
2017
The index set of the groups autostable relative to strong constructivizations. Zbl 1420.03071
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.
2
2017
Generic Hoare logic for order-enriched effects with exceptions. Zbl 1496.68117
Rauch, 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.03037
Goncharov, S. S.; Marchuk, Margaret I.
6
2016
Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004
Goncharov, Sergey; Milius, Stefan; Rauch, Christoph
4
2016
The index set of Boolean algebras autostable relative to strong constructivizations. Zbl 1328.03036
Goncharov, 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.03069
Goncharov, S. S.; Marchuk, M. I.
7
2015
The index set of linear orderings that are autostable relative to strong constructivizations. Zbl 1349.03036
Goncharov, 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.03060
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.
5
2015
Unguarded recursion on coinductive resumptions. Zbl 1351.68074
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz
4
2015
Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. Zbl 1330.03076
Goncharov, S. S.; Marchuk, M. I.
3
2015
Generalized computable universal numberings. Zbl 1318.03050
Badaev, S. A.; Goncharov, S. S.
12
2014
Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188
Goncharov, Sergey; Pattinson, Dirk
6
2014
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
4
2014
Index sets of constructive models that are autostable under strong constructivizations. Zbl 1349.03037
Goncharov, S. S.; Marchuk, M. I.
7
2013
A coinductive calculus for asynchronous side-effecting processes. Zbl 1358.68212
Goncharov, Sergey; Schröder, Lutz
5
2013
Index sets of almost prime constructive models. Zbl 1289.03027
Goncharov, S. S.
5
2013
A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023
Goncharov, Sergey; Schröder, Lutz
4
2013
Trace semantics via generic observations. Zbl 1394.68218
Goncharov, Sergey
3
2013
Exploring the boundaries of monad tensorability on Set. Zbl 1287.18004
Bowler, Nathan; Goncharov, Sergey; Levy, Paul Blain; Schröder, Lutz
1
2013
Degrees of autostability relative to strong constructivizations. Zbl 1294.03025
Goncharov, S. S.
24
2011
Inductive inference and computable numberings. Zbl 1221.03035
Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey
2
2011
A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231
Goncharov, Sergey; Schröder, Lutz
2
2011
A counterexample to tensorability of effects. Zbl 1287.18006
Goncharov, Sergey; Schröder, Lutz
1
2011
Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063
Downey, 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.03038
Goncharov, S. S.
5
2010
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey
1
2010
Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019
Chisholm, 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.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
4
2009
Autostability of prime models under strong constructivizations. Zbl 1241.03043
Goncharov, S. S.
3
2009
Categoricity of computable infinitary theories. Zbl 1161.03020
Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica
2
2009
Computability and numberings. Zbl 1157.03022
Badaev, Serikzhan; Goncharov, Sergey
5
2008
Isomorphisms and definable relations on computable models. Zbl 1157.03012
Goncharov, S. S.
2
2008
On a question of Frank Stephan. Zbl 1140.03313
Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey
1
2008
Computability and computable models. Zbl 1143.03017
Goncharov, Sergei S.
8
2007
Index sets for classes of high rank structures. Zbl 1145.03021
Calvert, 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.03016
Calvert, 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.03340
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
10
2006
Completeness of global evaluation logic. Zbl 1132.68328
Goncharov, 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.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
41
2005
Elementary theories for Rogers semilattices. Zbl 1106.03041
Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea
7
2005
On automorphic tuples of elements in computable models. Zbl 1224.03013
Goncharov, 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.03027
Goncharov, S. S.; Khusainov, Bakhadyr
16
2004
\(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051
Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A.
9
2004
The computable dimension of ordered abelian groups. Zbl 1031.03058
Goncharov, Sergey S.; Lempp, Steffen; Solomon, Reed
19
2003
Trivial, strongly minimal theories are model complete after naming constants. Zbl 1035.03013
Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D.
13
2003
Degree spectra of relations on Boolean algebras. Zbl 1034.03043
Goncharov, S. S.; Downey, Rod G.; Hirschfeldt, Denis R.
4
2003
Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
4
2003
Simple and immune relations on countable structures. Zbl 1024.03034
Goncharov, 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.03044
Goncharov, S. S.; Knight, Julia F.
31
2002
Friedberg numberings of families of \(n\)-computably enumerable sets. Zbl 1063.03028
Goncharov, S. S.; Lempp, Steffen; Solomon, D. R.
17
2002
Rogers semilattices of families of arithmetic sets. Zbl 0989.03040
Badaev, S. A.; Goncharov, S. S.
4
2001
On the complexity of theories of \(\aleph_1\)-categorical models. Zbl 1018.03030
Goncharov, S. S.; Khusainov, B. Kh.
1
2001
Constructive models. Transl. from the Russian. Zbl 0954.03036
Ershov, Yu. L.; Goncharov, S. S.
41
2000
The theory of numberings: Open problems. Zbl 0961.03038
Badaev, Serikzhan; Goncharov, Sergey
17
2000
Open problems in the theory of constructive algebraic systems. Zbl 0961.03037
Goncharov, Sergey; Khoussainov, Bakhadyr
6
2000
Constructive models. (Konstruktivnye modeli.) Zbl 1043.03518
Goncharov, S. S.; Ershov, Yu. L.
38
1999
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
17
1999
Introduction to the Handbook of recursive mathematics. Zbl 0930.03037
Ershov, 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.03030
Goncharov, S. S.
5
1998
Elementary theories and their constructive models. Zbl 0952.03036
Ershov, Yu. L.; Goncharov, S. S.
2
1998
Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052
Goncharov, S. S.; Sorbi, A.
34
1997
Countable Boolean algebras and decidability. Transl. from the Russian. Zbl 0912.03019
Goncharov, S. S.
22
1997
On the spectrum of degrees of decidable relations. Zbl 0961.03032
Goncharov, S. S.; Khusainov, B.
1
1997
Countable Boolean algebras and decidability. (Schetnye bulevy algebry i razreshimost’.) Zbl 0902.03021
Goncharov, S. S.
33
1996
On computable minimal enumerations. Zbl 0852.03020
Badaev, Serikzhan A.; Goncharov, Sergej S.
1
1996
A unique positive enumeration. Zbl 0849.03035
Goncharov, S. S.
3
1994
Classes with pairwise equivalent enumerations. Zbl 0969.03513
Goncharov, S. S.; Badaev, S. A.
1
1994
Computable classes of constructivizations for models of finite constructivizability type. Zbl 0860.03032
Goncharov, S. S.
1
1993
Positive computable numberings. Zbl 0815.03030
Goncharov, S. S.
1
1993
Strong constructibility of Boolean algebras of elementary characteristic (1,1,0). Zbl 0824.03018
Vlasov, V. N.; Goncharov, S. S.
1
1993
Effectively infinite classes of weak constructivizations of models. Zbl 0824.03013
Goncharov, S. S.
1
1993
Nilpotent groups of finite algorithmic dimension. Zbl 0684.20025
Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S.
11
1989
\(\Sigma\)-programming. Zbl 0671.03021
Goncharov, S. S.; Sviridenko, D. I.
7
1989
Algorithmic dimension of nilpotent groups. Zbl 0697.20021
Goncharov, S. S.; Drobotun, B. N.
5
1989
Nilpotent groups of finite algorithmic dimension. Zbl 0677.20024
Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S.
4
1989
Data models and languages for their description. Zbl 0674.68019
Goncharov, S. S.
1
1989
On algorithmic dimension of nilpotent groups. Zbl 0682.20025
Goncharov, S. S.; Drobotun, B. N.
1
1989
Countable Boolean algebras. (Schetnye bulevy algebry). Ed. by Yu. L. Ershov. (Schetnye bulevy algebry.) Zbl 0667.03024
Goncharov, S. S.
10
1988
Semantic foundations of programming. Zbl 0642.68029
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
6
1987
\(\Sigma^+\)-programs and their semantics. Zbl 0696.03014
Goncharov, S. S.; Sviridenko, D. I.
3
1987
Semantic programming. Zbl 0606.68011
Goncharov, S. S.; Ershov, Yu. L.; Sviridenko, D. I.
9
1986
Theoretical aspects of \(\Sigma\)-programming. Zbl 0621.68021
Goncharov, S. S.; Sviridenko, D. I.
5
1986
Mathematical bases of semantic programming. Zbl 0643.68015
Goncharov, S. S.; Sviridenko, D. I.
2
1986
Theory of lists and its models. Zbl 0646.68035
Goncharov, S. S.
2
1986
...and 29 more Documents
all top 5

Cited by 279 Authors

48 Bazhenov, Nikolaĭ Alekseevich
47 Goncharov, Sergeĭ Savost’yanovich
36 Melnikov, Alexander G.
26 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.
9 Schröder, Lutz
8 Kasymov, Nadimulla Khabibullaevich
8 Ospichev, Sergeĭ Sergeevich
7 Csima, Barbara F.
7 Faizrakhmanov, Marat Kh.
7 Kogabaev, Nurlan Talgatovich
7 Peretyat’kin, Mikhail G.
6 Calvert, Wesley
6 Kach, Asher M.
6 Khisamiev, Nazif Garrifullinovich
6 Milius, Stefan
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 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
3 Wißmann, Thorsten
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
...and 179 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
12 Lobachevskii Journal of Mathematics
10 Transactions of the American Mathematical Society
10 Journal of Mathematical Sciences (New York)
9 Theoretical Computer Science
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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.