S. A. Badaev

Available identifiers

zbMath Open badaev.serikzhan-aMaRDI QIDQ810012

List of research outcomes

Publication	Date of Publication	Type
On diagonal functions for equivalence relations	2024-04-16	Paper
Rogers semilattices with least and greatest elements in the Ershov hierarchy	2023-01-04	Paper
Special classes of positive preorders	2022-06-17	Paper
One-element Rogers semilattices in the Ershov hierarchy	2022-01-13	Paper
The structure of computably enumerable preorder relations	2020-12-04	Paper
ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS	2020-04-17	Paper
Some absolute properties of \(A\)-computable numberings	2019-03-13	Paper
A Survey on Universal Computably Enumerable Equivalence Relations	2017-04-04	Paper
Weakly precomplete computably enumerable equivalence relations	2016-03-17	Paper
Families without minimal numberings	2015-05-11	Paper
Generalized computable universal numberings	2015-05-11	Paper
Friedberg numberings in the Ershov hierarchy	2015-02-23	Paper
Rogers semilattices of families of two embedded sets in the Ershov hierarchy	2012-09-12	Paper
Inductive inference and computable numberings	2011-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q3068278	2011-01-13	Paper
A decomposition of the Rogers semilattice of a family of d.c.e. sets	2009-06-04	Paper
Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy	2008-12-18	Paper
On a Question of Frank Stephan	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5384966	2008-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q3434481	2007-05-02	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
Elementary Theories for Rogers Semilattices	2006-11-17	Paper
A note on partial numberings	2005-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4460829	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4795525	2003-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4530730	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4513962	2001-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4501145	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4220190	1998-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4875117	1996-12-01	Paper
On minimal numerations	1996-08-28	Paper
Minimal numerations of positively computable families	1995-06-26	Paper
On cardinality of semilattices of enumerations of nondiscrete families	1994-11-08	Paper
A problem of S. S. Goncharov	1992-09-26	Paper
On weakly pre-complete positive equivalences	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3360171	1991-01-01	Paper
Computable enumerations of families of general recursive functions	1978-01-01	Paper
Positive enumerations	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133618	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4168603	1977-01-01	Paper
On incomparable enumerations	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4077999	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: S. A. Badaev