×

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
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

Publications by Year

Citations contained in zbMATH Open

127 Publications have been cited 1,009 times in 478 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.
40
2000
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
40
2005
Constructive models. (Konstruktivnye modeli.) Zbl 1043.03518
Goncharov, S. S.; Ershov, Yu. L.
37
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
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
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.
21
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
Computably categorical structures and expansions by constants. Zbl 0928.03040
Cholak, Peter; Goncharov, Sergey; Khoussainov, Bakhadyr; Shore, Richard A.
17
1999
The theory of numberings: Open problems. Zbl 0961.03038
Badaev, Serikzhan; Goncharov, Sergey
17
2000
Friedberg numberings of families of \(n\)-computably enumerable sets. Zbl 1063.03028
Goncharov, S. S.; Lempp, Steffen; Solomon, D. R.
17
2002
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
Countable Boolean algebras. (Schetnye bulevy algebry). Ed. by Yu. L. Ershov. (Schetnye bulevy algebry.) Zbl 0667.03024
Goncharov, S. S.
10
1988
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
Some properties of the constructivization of Boolean algebras. Zbl 0326.02033
Goncharov, S. S.
10
1975
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
\(\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
Computability and computable models. Zbl 1143.03017
Goncharov, Sergei S.
8
2007
Strong constructivizability of homogeneous models. Zbl 0441.03015
Goncharov, S. S.
7
1979
Conditional terms in semantic programming. Zbl 1420.03059
Goncharov, S. S.
7
2017
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
Index sets of constructive models that are autostable under strong constructivizations. Zbl 1349.03037
Goncharov, S. S.; Marchuk, M. I.
7
2013
Elementary theories for Rogers semilattices. Zbl 1106.03041
Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea
7
2005
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
Constructive models of complete solvable theories. Zbl 0282.02018
Goncharov, S. S.; Nurtazin, A. T.
7
1974
Bounded theories of constructive Boolean algebras. Zbl 0361.02066
Goncharov, S. S.
7
1976
Models of data and languages of their descriptions. Zbl 0621.68020
Goncharov, S. S.
6
1985
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
Coalgebraic weak bisimulation from recursive equations over monads. Zbl 1409.68188
Goncharov, Sergey; Pattinson, Dirk
6
2014
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 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
Semantic foundations of programming. Zbl 0642.68029
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
6
1987
\(\Sigma\)-programming. Zbl 0671.03021
Goncharov, S. S.; Sviridenko, D. I.
6
1989
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
Constructivizability of superatomic Boolean algebras. Zbl 0281.02049
Goncharov, S. S.
6
1974
Theoretical aspects of \(\Sigma\)-programming. Zbl 0621.68021
Goncharov, S. S.; Sviridenko, D. I.
5
1986
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
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
5
1998
Algorithmic dimension of nilpotent groups. Zbl 0697.20021
Goncharov, S. S.; Drobotun, B. N.
5
1989
On autostability of almost prime models relative to strong constructivizations. Zbl 1219.03038
Goncharov, S. S.
5
2010
Autostable models and algorithmic dimensions. Zbl 0958.03030
Goncharov, S. S.
5
1998
Computability and numberings. Zbl 1157.03022
Badaev, Serikzhan; Goncharov, Sergey
5
2008
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
\(\Sigma\)-programming. Zbl 0628.03015
Goncharov, S. S.; Sviridenko, D. I.
4
1985
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
Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004
Goncharov, Sergey; Milius, Stefan; Rauch, Christoph
4
2016
Unguarded recursion on coinductive resumptions. Zbl 1351.68074
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz
4
2015
Nilpotent groups of finite algorithmic dimension. Zbl 0677.20024
Goncharov, S. S.; Molokov, A. V.; Romanovskij, N. S.
4
1989
Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
4
2003
Positive numerations of families with one-valued numerations. Zbl 0572.03023
Goncharov, S. S.
4
1983
Degree spectra of relations on Boolean algebras. Zbl 1034.03043
Goncharov, S. S.; Downey, Rod G.; Hirschfeldt, Denis R.
4
2003
Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes. Zbl 1143.03016
Calvert, W.; Goncharov, S. S.; Knight, J. F.
4
2007
Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
4
2009
A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023
Goncharov, Sergey; Schröder, Lutz
4
2013
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
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
3
2014
\(\Sigma^+\)-programs and their semantics. Zbl 0696.03014
Goncharov, S. S.; Sviridenko, D. I.
3
1987
Trace semantics via generic observations. Zbl 1394.68218
Goncharov, Sergey
3
2013
Autostability of prime models under strong constructivizations. Zbl 1241.03043
Goncharov, S. S.
3
2009
Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. Zbl 1330.03076
Goncharov, S. S.; Marchuk, M. I.
3
2015
Recursive terms in semantic programming. Zbl 07035746
Goncharov, S. S.; Sviridenko, D. I.
3
2018
Unifying guarded and unguarded iteration. Zbl 06721009
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej
3
2017
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
Totally transcendental theory with a nonconstructivizable prime model. Zbl 0467.03008
Goncharov, S. S.
2
1980
Totally transcendental theory with non-constructivizable prime model. Zbl 0463.03005
Goncharov, S. S.
2
1980
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
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
Semantic programming. Zbl 0636.68013
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
2
1986
Completeness of global evaluation logic. Zbl 1132.68328
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
2
2006
A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231
Goncharov, Sergey; Schröder, Lutz
2
2011
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
Elementary theories and their constructive models. Zbl 0952.03036
Ershov, Yu. L.; Goncharov, S. S.
2
1998
Isomorphisms and definable relations on computable models. Zbl 1157.03012
Goncharov, S. S.
2
2008
Decompositions of decidable abelian groups. Zbl 07167884
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander
2
2020
Categoricity of computable infinitary theories. Zbl 1161.03020
Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica
2
2009
Konstruktive Modelle \(\aleph_1\)-kategorialer Theorien. Zbl 0385.03025
Goncharov, S. S.
2
1978
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
Decompositions of decidable abelian groups. Zbl 07167884
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander
2
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
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
Generic Hoare logic for order-enriched effects with exceptions. Zbl 07152411
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
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
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
A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231
Goncharov, Sergey; Schröder, Lutz
2
2011
Inductive inference and computable numberings. Zbl 1221.03035
Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey
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
40
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
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
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.
40
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.
37
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.
21
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.
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.
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
Semantic programming. Zbl 0636.68013
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
2
1986
A remark on axioms of the GES. Zbl 0645.03025
Goncharov, S. S.
1
1986
...and 27 more Documents
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

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.