С. С. Гончаров

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Identity-Preserving Lax Extensions and Where to Find Them	2024	С. С. Гончаров Dirk Hofmaan Pedro Nora Lutz Schröder P. Wild
+ PDF Chat	Marat Mirzaevich Arslanov (on his eightieth birthday)	2024	А. N. Abyzov Lev D. Beklemishev С. С. Гончаров Yurii Leonidovich Ershov Искандер Шагитович Калимуллин Viktor L'vovich Selivanov A. L. Semenov A. A. Tuganbaev M. Kh. Faĭzrahmanov
+	Marat Mirzaevich Arslanov (on his eightieth birthday)	2024	А. N. Abyzov Lev D. Beklemishev С. С. Гончаров Yurii Leonidovich Ershov Искандер Шагитович Калимуллин Viktor L'vovich Selivanov A. L. Semenov A. A. Tuganbaev M. Kh. Faĭzrahmanov
+	The degree of decidable categoricity of a model with infinite solutions for complete formulas	2021	С. С. Гончаров M. I. Marchuk
+	Turing degrees of complete formulas of almost prime models	2019	С. С. Гончаров R. Miller V. Harizanov
+	Hanf Number for Scott Sentences of Computable Structures	2016	С. С. Гончаров Julia F. Knight Ioannis Souldatos
+	Index sets of autostable relative to strong constructivizations constructive models for familiar classes	2015	С. С. Гончаров Nikolay Bazhenov M. I. Marchuk
+	Generalized Computable Universal Numberings	2014	S. A. Badaev С. С. Гончаров
+ PDF Chat	Exploring the Boundaries of Monad Tensorability on Set	2013	Nathan Bowler С. С. Гончаров Paul Blain Levy Lutz Schröder
+	Degrees of autostability relative to strong constructivizations	2011	С. С. Гончаров
+	On autostability of almost prime models relative to strong constructivizations	2011	С. С. Гончаров
+ PDF Chat	Decidability and Computability of Certain Torsion-Free Abelian Groups	2010	Rodney G. Downey С. С. Гончаров Asher M. Kach Julia F. Knight Oleg V. Kudinov Alexander Melnikov Daniel Turetsky
+	autostability of prime models under strong constructivizations	2009	С. С. Гончаров
+	Intrinsic bounds on complexity and definability at limit levels	2009	John Chisholm Ekaterina Fokina С. С. Гончаров Valentina Harizanov Julia F. Knight Sara B. Quinn
+	Categoricity of computable infinitary theories	2008	Wesley Calvert С. С. Гончаров Julia F. Knight Jessica Millar
+	Structures in Familiar Classes Which Have Scott Rank $\omega_1^{CK}$	2008	Wesley Calvert С. С. Гончаров Julia F. Knight
+	Structures in Familiar Classes Which Have Scott Rank $ω_1^{CK}$	2008	Wesley Calvert С. С. Гончаров Julia F. Knight
+	Isomorphisms and definable relations on computable models	2007	С. С. Гончаров
+	Index sets for classes of high rank structures	2007	Wesley Calvert Ekaterina Fokina С. С. Гончаров Julia F. Knight Oleg V. Kudinov Andrey Morozov V. G. Puzarenko
+	Mathematical Problems from Applied Logic II: Logics for the XXIst Century	2007	Dov M. Gabbay С. С. Гончаров Michael Zakharyaschev
+	Computable structures of Scott rank 𝜔₁^{𝐶𝐾} in familiar classes	2007	Wesley Calvert С. С. Гончаров Julia F. Knight
+	Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy	2006	S. A. Badaev С. С. Гончаров Andrea Sorbi
+ PDF Chat	Enumerations in computable structure theory	2005	С. С. Гончаров Valentina Harizanov Julia A. Knight Charles A. McCoy Russell Miller Reed Solomon
+	Π<sub>1</sub><sup>1</sup> relations and paths through	2004	С. С. Гончаров Valentina Harizanov Julia F. Knight Richard A. Shore
+	ELEMENTARY PROPERTIES OF ROGERS SEMILATTICES OF ARITHMETICAL NUMBERINGS	2003	S. A. Badaev С. С. Гончаров Andrea Sorbi
+ PDF Chat	The computable dimension of ordered abelian groups	2003	С. С. Гончаров Steffen Lempp Reed Solomon
+	None	2003	С. С. Гончаров
+	None	2002	С. С. Гончаров Steffen Lempp D. R. Solomon
+	Mikhail Mikhaĭlovich Lavrent'ev (on his 70th birthday).	2002	А. А. Боровков Yu. L. Ershov С. К. Годунов С. С. Гончаров Семeн Самсонович Кутателадзе Yu. G. Reshetnyak V. G. Romanov
+	None	2001	S. A. Badaev С. С. Гончаров
+	Yuri Leonidovich Ershov (on his 60th birthday)	2000	С. С. Гончаров I. A. Lavrov V. D. Mazurov
+ PDF Chat	Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)	2000	Сергей Савостьянович Гончаров С. С. Гончаров I. A. Lavrov I. A. Lavrov V. D. Mazurov В. Д. Мазуров Аркадий Анатольевич Мальцев Аркадий Анатольевич Мальцев Андрей Сергеевич Морозов Андрей Сергеевич Морозов
+	The theory of numberings: open problems	2000	S. A. Badaev С. С. Гончаров
+	Chapter 6 Autostable models and algorithmic dimensions	1998	С. С. Гончаров
+	Generalized computable numerations and nontrivial rogers semilattices	1997	С. С. Гончаров Andrea Sorbi
+	We outline the general approach to the notion of a computable numeration in the frames of which computable numerations of families of arithmetic se~s are studied.	1997	С. С. Гончаров Andrea Sorbi
+	Iterated expansions of models for countable theories and their applications	1996	С. С. Гончаров Massoud Pourmahdian
+	R	1995	L. A. Skornyakov I.P. Mysovskikh A. A. Talalyan E. D. Solomentsev A. G. Sveshnikov V. A. Chuyanov A. L. Shmel’kin V. A. Andrunakievich R. A. Minlos K. Yu. Bulota
+	Strong constructibility of boolean algebras of elementary characteristic (1,1,0)	1993	V. N. Vlasov С. С. Гончаров
+	Effectively infinite classes of weak constructivizations of models	1993	С. С. Гончаров
+	Some effectively infinite classes of enumerations	1993	С. С. Гончаров Alexander Yakhnis Vladimir Yakhnis
+	Algorithmic dimension of nilpotent groups	1989	С. С. Гончаров B. N. Drobotun
+	Axiomatizable classes with strong homomorphisms	1987	С. С. Гончаров
+	Positive numerations of families with one-valued numerations	1983	С. С. Гончаров
+	Numerations of saturated and homogeneous models	1981	С. С. Гончаров B. N. Drobotun
+	The problems of the existence and number of inequivalent univalent computable numerations of families of recursively enumerable sets have attracted the interest of many workers (3	1981	С. С. Гончаров
+	A totally transcendental decidable theory without constructivizable homogeneous models	1980	С. С. Гончаров
+	Totally transcendental theory with a nonconstructivizable prime model	1980	С. С. Гончаров
+	Constructivizability of superatomic Boolean algebras	1973	С. С. Гончаров
+	MODELS OF COMPLETE SOLVABLE THEORIES	1973	С. С. Гончаров A. T. Nurtazin

Common Coauthors

Coauthor	Papers Together
Julia F. Knight	9
Wesley Calvert	5
S. A. Badaev	5
Andrea Sorbi	4
Valentina Harizanov	3
A. L. Semenov	2
Steffen Lempp	2
V. D. Mazurov	2
B. N. Drobotun	2
Искандер Шагитович Калимуллин	2
I. A. Lavrov	2
Lev D. Beklemishev	2
А. А. Боровков	2
M. I. Marchuk	2
A. A. Tuganbaev	2
Reed Solomon	2
Oleg V. Kudinov	2
Yurii Leonidovich Ershov	2
А. N. Abyzov	2
Ekaterina Fokina	2
Viktor L'vovich Selivanov	2
M. Kh. Faĭzrahmanov	2
Lutz Schröder	2
Н. Х. Розов	1
K. M. Millionshchikov	1
A. L. Shmel’kin	1
A. M. Nakhyshev	1
T. Yu. Popova	1
Андрей Сергеевич Морозов	1
Ioannis Souldatos	1
E. D. Solomentsev	1
L. A. Skornyakov	1
M. I. Voĭtseknovskiĭ	1
Т. П. Лукашенко	1
Michael Zakharyaschev	1
L. A. Sidorov	1
Vladimir Yakhnis	1
A. A. Konyushkov	1
Evgenii Andreevich Palyutin	1
F.D. GAKHOV	1
A. D. Bryuno	1
M. V. Fedoryuk	1
D. D. Sokolov	1
E. A. Golubov	1
Б. И. Голубов	1
Evgenii S. Nikolaev	1
Yu. A. Bakhturin	1
E. L. Tonkov	1
Claude Dellacherie	1
Аркадий Анатольевич Мальцев	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Generic copies of countable structures	1989	Chris Ash Julia F. Knight Mark S. Manasse Theodore A. Slaman	5
+	Constructivizability of superatomic Boolean algebras	1973	С. С. Гончаров	4
+	Intrinsically Hyperarithmetical Sets	1996	Ivan N. Soskov	4
+	Generalized computable numerations and nontrivial rogers semilattices	1997	С. С. Гончаров Andrea Sorbi	4
+	Π<sub>1</sub><sup>1</sup> relations and paths through	2004	С. С. Гончаров Valentina Harizanov Julia F. Knight Richard A. Shore	4
+	Recursively presentable prime models	1974	Leo Harrington	3
+	Gödel numberings of partial recursive functions	1958	Hartley Rogers	3
+	An example concerning Scott heights	1981	Michael Makkai	3
+ PDF Chat	Enumerations in computable structure theory	2005	С. С. Гончаров Valentina Harizanov Julia A. Knight Charles A. McCoy Russell Miller Reed Solomon	3
+ PDF Chat	Persistently finite, persistently arithmetic theories	1983	C. J. Ash Terrence Millar	3
+	Degree spectra and computable dimensions in algebraic structures	2002	Denis R. Hirschfeldt Bakhadyr Khoussainov Richard A. Shore Arkadii Slinko	3
+	Recursive isomorphism types of recursive Boolean algebras	1981	Jeffrey B. Remmel	3
+	Some effectively infinite classes of enumerations	1993	С. С. Гончаров Alexander Yakhnis Vladimir Yakhnis	3
+	autostability of prime models under strong constructivizations	2009	С. С. Гончаров	3
+	Isomorphism Types and Theories of Rogers Semilattices of Arithmetical Numberings	2003	S. A. Badaev С. С. Гончаров Andrea Sorbi	2
+	On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria	2022	Marat Arslanov	2
+	Truth-Table Complete Computably Enumerable Sets	2003	Marat Arslanov	2
+	On the cardinality of the upper semilattice of computable enumerations	1971	A. B. Khutoretskii	2
+	Higher Recursion Theory	2017	Gerald E. Sacks	2
+	Relative enumerability in the difference hierarchy	1998	Marat Arslanov Geoffrey Laforte Theodore A. Slaman	2
+	On the Problem of Definability of the Computably Enumerable Degrees in the Difference Hierarchy	2018	Marat Arslanov M. M. Yamaleev	2
+	Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation	2006	Wesley Calvert Julia F. Knight Jessica Millar	2
+	A decidable Ehrenfeucht theory with exactly two hyperarithmetic models	1991	Robert C. Reed	2
+	A construction for recursive linear orderings	1991	C. J. Ash	2
+	On isolating r.e. and isolated d-r.e. degrees	1996	Marat Arslanov Steffen Lempp Richard A. Shore	2
+	Categoricity in hyperarithmetical degrees	1987	C. J. Ash	2
+	Fixed-point Selection Functions	2021	Marat Arslanov	2
+	Eine Bemerkung über die Unzerlegbarkeit von Polynomen	1930	B. L. van der Waerden	2
+	Spectra of computable models for Ehrenfeucht theories	2007	Alex Gavryushkin	2
+	Definability and Computability	1996	I︠U︡riĭ Leonidovich Ershov	2
+ PDF Chat	Computable algebra, general theory and theory of computable fields.	1960	Michael O. Rabin	2
+	RRC-fields with small absolute Galois groups	1989	Yu. L. Ershov	2
+	Recursive linear orders with recursive successivities	1984	Michael Moses	2
+	On autostability of almost prime models relative to strong constructivizations	2011	С. С. Гончаров	2
+	The bounded-complete hull of an α-space	1997	Yu. L. Ershov	2
+	Decidability and the number of countable models	1984	Terrence Millar	2
+	On d-spaces	1999	Yu. L. Ershov	2
+ PDF Chat	Persistently finite theories with hyperarithmetic models	1983	Terrence Millar	2
+	A Borel reductibility theory for classes of countable structures	1989	Harvey M. Friedman Lee Stanley	2
+	Atomic models higher up	2008	Jessica Millar Gerald E. Sacks	2
+ PDF Chat	Model theory: an introduction	2003	David Marker	2
+ PDF Chat	Relative to any nonrecursive set	1998	Theodore A. Slaman	2
+ PDF Chat	Enumerations, countable structures and Turing degrees	1998	Stephan Wehner	2
+	Complexity of Ehrenfeucht models	2006	Alex Gavryushkin	2
+	Algebraic Properties of Rogers Semilattices of Arithmetical Numberings	2003	S. A. Badaev С. С. Гончаров Sergey Podzorov Andrea Sorbi	2
+	Two existence theorems for computable numerations	1969	A. B. Khutoretskii	2
+	Recurrence in Ergodic Theory and Combinatorial Number Theory	1981	Harry Furstenberg	1
+ PDF Chat	Tame Algebras and Integral Quadratic Forms	1984	Claus Michael Ringel	1
+	Potential Theory on Harmonic Spaces	1972	Corneliu Constantinescu Aurel Cornea	1
+	Banach Lattices and Positive Operators	1974	Helmut Schaefer	1