×

zbMATH — the first resource for mathematics

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, Sergei Savostyanovich; 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
Documents Indexed: 193 Publications since 1973, including 13 Books
Biographic References: 1 Publication
all top 5

Co-Authors

59 single-authored
21 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.
8 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 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 Khoussainov, Bakhadyr M.
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 Shestakov, Ivan Pavlovich
2 Shore, Richard A.
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, N. 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 Khusainov, Bakhadyr
1 Kogabaev, Nurlan Talgatovich
1 Konovalov, Anatoly Nikolaevich
1 Kopytov, Valerij M.
...and 58 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

122 Publications have been cited 973 times in 454 Documents Cited by Year
Autostability of models. Zbl 0468.03023
Goncharov, S. S.; Dzgoev, V. D.
71
1980
Constructive models. Transl. from the Russian. Zbl 0954.03036
Ershov, Yu. L.; Goncharov, S. S.
40
2000
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
38
2005
Countable Boolean algebras and decidability. (Schetnye bulevy algebry i razreshimost’.) Zbl 0902.03021
Goncharov, S. S.
33
1996
Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052
Goncharov, S. S.; Sorbi, A.
32
1997
Constructive models. (Konstruktivnye modeli.) Zbl 1043.03518
Goncharov, S. S.; Ershov, Yu. L.
32
1999
Autostability of models and Abelian groups. Zbl 0468.03022
Goncharov, S. S.
31
1980
Computable structure and non-structure theorems. Zbl 1034.03044
Goncharov, S. S.; Knight, Julia F.
31
2002
Introduction to the Handbook of recursive mathematics. Zbl 0930.03037
Ershov, Y. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.
27
1998
The problem of the number of nonautoequivalent constructivizations. Zbl 0476.03045
Goncharov, S. S.
23
1980
Degrees of autostability relative to strong constructivizations. Zbl 1294.03025
Goncharov, S. S.
22
2011
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
Problem of the number of non-self-equivalent constructivizations. Zbl 0476.03046
Goncharov, S. S.
20
1981
Countable Boolean algebras and decidability. Transl. from the Russian. Zbl 0912.03019
Goncharov, S. S.
20
1997
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
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
16
1999
Computable single-valued numerations. Zbl 0514.03029
Goncharov, S. S.
15
1981
Complexity of categorical theories with computable models. Zbl 1097.03027
Goncharov, S. S.; Khusainov, Bakhadyr
15
2004
The theory of numberings: Open problems. Zbl 0961.03038
Badaev, Serikzhan; Goncharov, Sergey
15
2000
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
Groups with a finite number of constructivizations. Zbl 0496.20021
Goncharov, S. S.
11
1981
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.
11
2003
Nilpotent groups of finite algorithmic dimension. Zbl 0684.20025
Goncharov, 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.03024
Goncharov, S. S.
10
1988
Some properties of the constructivization of Boolean algebras. Zbl 0326.02033
Goncharov, S. S.
10
1975
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
Generalized computable universal numberings. Zbl 1318.03050
Badaev, S. A.; Goncharov, S. S.
10
2014
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
Ershov, Yu. L. (ed.); Goncharov, S. S. (ed.); Nerode, A. (ed.); Remmel, J. B. (ed.); Marek, V. W. (ed.)
9
1998
Semantic programming. Zbl 0606.68011
Goncharov, S. S.; Ershov, Yu. L.; Sviridenko, D. I.
9
1986
\(\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
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
Bounded theories of constructive Boolean algebras. Zbl 0361.02066
Goncharov, S. S.
7
1976
Constructive models of complete solvable theories. Zbl 0282.02018
Goncharov, S. S.; Nurtazin, A. T.
7
1974
Computability and computable models. Zbl 1143.03017
Goncharov, Sergei S.
7
2007
Semantic foundations of programming. Zbl 0642.68029
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
7
1987
Conditional terms in semantic programming. Zbl 1420.03059
Goncharov, S. S.
7
2017
Index sets of constructive models that are autostable under strong constructivizations. Zbl 1349.03037
Goncharov, S. S.; Marchuk, M. I.
7
2013
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
Limiting equivalent constructivizations. Zbl 0543.03017
Goncharov, S. S.
6
1982
Open problems in the theory of constructive algebraic systems. Zbl 0961.03037
Goncharov, Sergey; Khoussainov, Bakhadyr
6
2000
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.
6
2007
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
\(\Sigma\)-programming. Zbl 0671.03021
Goncharov, S. S.; Sviridenko, D. I.
6
1989
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
The index set of Boolean algebras autostable relative to strong constructivizations. Zbl 1328.03036
Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.
6
2015
A coinductive calculus for asynchronous side-effecting processes. Zbl 1358.68212
Goncharov, Sergey; Schröder, Lutz
5
2013
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
Ershov, Yu. L. (ed.); Goncharov, S. S. (ed.); Nerode, A. (ed.); Remmel, J. B. (ed.); Marek, V. W. (ed.)
5
1998
Autostable models and algorithmic dimensions. Zbl 0958.03030
Goncharov, S. S.
5
1998
Algorithmic dimension of nilpotent groups. Zbl 0697.20021
Goncharov, S. S.; Drobotun, B. N.
5
1989
Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188
Goncharov, Sergey; Pattinson, Dirk
5
2014
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
On autostability of almost prime models relative to strong constructivizations. Zbl 1219.03038
Goncharov, S. S.
5
2010
Constructivizability of superatomic Boolean algebras. Zbl 0281.02049
Goncharov, S. S.
5
1974
Computability and numberings. Zbl 1157.03022
Badaev, Serikzhan; Goncharov, Sergey
5
2008
Models of data and languages of their descriptions. Zbl 0621.68020
Goncharov, S. S.
5
1985
Theoretical aspects of \(\Sigma\)-programming. Zbl 0621.68021
Goncharov, S. S.; Sviridenko, D. I.
5
1986
Index sets of almost prime constructive models. Zbl 1289.03027
Goncharov, S. S.
5
2013
Rogers semilattices of families of arithmetic sets. Zbl 0989.03040
Badaev, S. A.; Goncharov, S. S.
4
2001
Constructive models of \(\aleph_1\)-categorical theories. Zbl 0403.03025
Goncharov, S. S.
4
1978
Positive numerations of families with one-valued numerations. Zbl 0572.03023
Goncharov, S. S.
4
1983
Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
4
2003
Degree spectra of relations on Boolean algebras. Zbl 1034.03043
Goncharov, S. S.; Downey, Rod G.; Hirschfeldt, Denis R.
4
2003
Unguarded recursion on coinductive resumptions. Zbl 1351.68074
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz
4
2015
Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes. Zbl 1143.03016
Calvert, W.; Goncharov, S. S.; Knight, J. F.
4
2007
\(\Sigma\)-programming. Zbl 0628.03015
Goncharov, S. S.; Sviridenko, D. I.
4
1985
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
Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004
Goncharov, Sergey; Milius, Stefan; Rauch, Christoph
4
2016
An example of a constructive Abelian group with a non-constructivizable reduced subgroup. Zbl 0603.20049
Dobritsa, V. P.; Goncharov, S. S.
3
1985
\(\Sigma^+\)-programs and their semantics. Zbl 0696.03014
Goncharov, S. S.; Sviridenko, D. I.
3
1987
A unique positive enumeration. Zbl 0849.03035
Goncharov, S. S.
3
1994
Recursive terms in semantic programming. Zbl 07035746
Goncharov, S. S.; Sviridenko, D. I.
3
2018
Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. Zbl 1330.03076
Goncharov, S. S.; Marchuk, M. I.
3
2015
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
3
2014
Unifying guarded and unguarded iteration. Zbl 06721009
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej
3
2017
Trace semantics via generic observations. Zbl 1394.68218
Goncharov, Sergey
3
2013
Elementary theories and their constructive models. Zbl 0952.03036
Ershov, Yu. L.; Goncharov, S. S.
2
1998
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
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
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
Konstruktive Modelle \(\aleph_1\)-kategorialer Theorien. Zbl 0385.03025
Goncharov, S. S.
2
1978
Categoricity of computable infinitary theories. Zbl 1161.03020
Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica
2
2009
Isomorphisms and definable relations on computable models. Zbl 1157.03012
Goncharov, S. S.
2
2008
Completeness of global evaluation logic. Zbl 1132.68328
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
2
2006
Inductive inference and computable numberings. Zbl 1221.03035
Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey
2
2011
A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023
Goncharov, Sergey; Schröder, Lutz
2
2013
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
Semantic programming. Zbl 0636.68013
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
2
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
Autostability of prime models under strong constructivizations. Zbl 1241.03043
Goncharov, S. S.
2
2009
Unguarded recursion on coinductive resumptions. Zbl 06932686
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian
2
2018
A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231
Goncharov, Sergey; Schröder, Lutz
2
2011
Guarded traced categories. Zbl 06904543
Goncharov, Sergey; Schröder, Lutz
2
2018
Decompositions of decidable abelian groups. Zbl 07167884
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander
2
2020
Decompositions of decidable abelian groups. Zbl 07167884
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander
2
2020
Turing degrees of complete formulas of almost prime models. Zbl 07175626
Goncharov, S. S.; Miller, R.; Harizanov, V.
1
2019
Recursive terms in semantic programming. Zbl 07035746
Goncharov, S. S.; Sviridenko, D. I.
3
2018
Unguarded recursion on coinductive resumptions. Zbl 06932686
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian
2
2018
Guarded traced categories. Zbl 06904543
Goncharov, Sergey; Schröder, Lutz
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.
7
2017
Unifying guarded and unguarded iteration. Zbl 06721009
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
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
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
The index set of Boolean algebras autostable relative to strong constructivizations. Zbl 1328.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.
10
2014
Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188
Goncharov, Sergey; Pattinson, Dirk
5
2014
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
3
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
Trace semantics via generic observations. Zbl 1394.68218
Goncharov, Sergey
3
2013
A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023
Goncharov, Sergey; Schröder, Lutz
2
2013
Degrees of autostability relative to strong constructivizations. Zbl 1294.03025
Goncharov, S. S.
22
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
Categoricity of computable infinitary theories. Zbl 1161.03020
Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica
2
2009
Autostability of prime models under strong constructivizations. Zbl 1241.03043
Goncharov, S. S.
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.
7
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.
6
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 logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Zbl 1105.03004
Goncharov, S. S.; Downey, R.; Ono, H.
1
2006
Mathematical problems from applied logic. I. Logics for the XXIst century. Zbl 1085.03002
Gabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael
1
2006
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
38
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
15
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.
11
2003
Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
4
2003
Degree spectra of relations on Boolean algebras. Zbl 1034.03043
Goncharov, S. S.; Downey, Rod G.; Hirschfeldt, Denis R.
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
Cooper, S. Barry; Goncharov, S. S.
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
Constructive models. Transl. from the Russian. Zbl 0954.03036
Ershov, Yu. L.; Goncharov, S. S.
40
2000
The theory of numberings: Open problems. Zbl 0961.03038
Badaev, Serikzhan; Goncharov, Sergey
15
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.
32
1999
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
16
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
Ershov, Yu. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.; Marek, V. W.
9
1998
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
Ershov, Yu. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.; Marek, V. W.
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.
32
1997
Countable Boolean algebras and decidability. Transl. from the Russian. Zbl 0912.03019
Goncharov, S. S.
20
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
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.
6
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.
7
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
Semantic programming. Zbl 0636.68013
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
2
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
A remark on axioms of the GES. Zbl 0645.03025
Goncharov, S. S.
1
1986
Theory of lists and its models. Zbl 0649.03014
Goncharov, S. S.
1
1986
Models of data and languages of their descriptions. Zbl 0621.68020
Goncharov, S. S.
5
1985
\(\Sigma\)-programming. Zbl 0628.03015
Goncharov, S. S.; Sviridenko, D. I.
4
1985
An example of a constructive Abelian group with a non-constructivizable reduced subgroup. Zbl 0603.20049
Dobritsa, V. P.; Goncharov, S. S.
3
1985
Examples of nonautostable systems. Zbl 0595.03031
Goncharov, S. S.; Novikov, A. A.
1
1984
...and 22 more Documents
all top 5

Cited by 263 Authors

46 Goncharov, Sergeĭ Savost’yanovich
44 Bazhenov, Nikolaĭ Alekseevich
36 Melnikov, Alexander G.
24 Harizanov, Valentina S.
24 Kalimullin, Iskander Shagitovich
21 Downey, Rodney Graham
18 Khoussainov, Bakhadyr M.
17 Knight, Julia F.
16 Ng, KengMeng
14 Montalbán, Antonio
13 Lempp, Steffen
12 Fokina, Ekaterina B.
12 Harrison-Trainor, Matthew
12 Miller, Russell G.
11 Hirschfeldt, Denis Roman
11 Marchuk, Margaret I.
11 Shore, Richard A.
10 Greenberg, Noam
10 Solomon, Reed
10 Turetsky, Daniel D.
9 Cenzer, Douglas
9 Faĭzrahmanov, Marat Khaidarovich
9 Morozov, Andreĭ Sergeevich
9 Mustafa, Manat
9 Puzarenko, Vadim G.
8 Alaev, Pavel Evgenievich
8 Badaev, Serikzhan A.
8 Ospichev, Sergeĭ Sergeevich
8 Schröder, Lutz
8 Selivanov, Viktor L’vovich
6 Calvert, Wesley
6 Csima, Barbara F.
6 Faizrakhmanov, Marat Kh.
6 Kach, Asher M.
6 Khisamiev, Nazif Garrifullinovich
6 Kogabaev, Nurlan Talgatovich
6 Pal’chunov, Dimitriĭ Evgen’evich
6 Peretyat’kin, Mikhail G.
6 Rauch, Christoph
6 Ventsov, Yu. G.
5 Frolov, Andrey N.
5 Kudinov, Oleg Victorovich
5 Leont’eva, Margarita Nikolaevna
5 Mantsivoda, Andreĭ Valer’evich
5 Milius, Stefan
5 Slaman, Theodore A.
5 Stephan, Frank
5 Yamaleev, Mars Mansurovich
4 Aleksandrova, S. A.
4 Chisholm, John Stephen Roy
4 Cholak, Peter A.
4 Kalmurzaev, Birzhan S.
4 Kasymov, Nadimulla Khabibullaevich
4 Khisamiev, A. N.
4 Laskowski, Michael Chris
4 McCoy, Charles F. D.
4 Moses, Michael F.
4 Remmel, Jeffrey B.
3 Andrews, Uri
3 Ash, Christopher John
3 Brengos, Tomasz
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 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 Bonchi, Filippo
2 Brattka, Vasco
2 Brodhead, Paul
2 Dorzhieva, Marina Valerianovna
2 Friedman, Sy-David
2 Harrington, Leo A.
2 Igusa, Gregory
2 Kazakov, Il’ya Anatol’evich
2 Kulpeshov, Beibut Shaiykovich
2 Kuske, Dietrich
2 Kustova, Irina Aleksandrovna
2 Mamouras, Konstantinos
2 Miller, Joseph S.
2 Moelius, Samuel E. III
2 Mossakowski, Till
2 Nies, André Otfrid
...and 163 more Authors
all top 5

Cited in 55 Serials

106 Algebra and Logic
48 Siberian Mathematical Journal
40 Annals of Pure and Applied Logic
33 The Journal of Symbolic Logic
19 Archive for Mathematical Logic
17 The Bulletin of Symbolic Logic
12 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
7 Sibirskie Èlektronnye Matematicheskie Izvestiya
6 Mathematical Logic Quarterly (MLQ)
6 Logical Methods in Computer Science
6 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
5 Theory of Computing Systems
5 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
4 Journal of Algebra
4 Notre Dame Journal of Formal Logic
4 Information and Computation
3 Mathematical Notes
3 Advances in Mathematics
3 International Journal of Algebra and Computation
3 Russian Mathematics
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 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

Wikidata Timeline

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