Person:283103

Available identifiers

zbMath Open ganchev.hristo-aWikidataQ102356483 ScholiaQ102356483MaRDI QIDQ283103

List of research outcomes

Publication	Date of Publication	Type
A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES	2022-06-15	Paper
Computable embeddings for pairs of linear orders	2021-12-01	Paper
The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees	2021-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q4994212	2021-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4993757	2021-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4993819	2021-06-16	Paper
Effective embeddings for pairs of structures	2020-05-12	Paper
Definability in the local structure of the ω-Turing degrees	2019-11-15	Paper
On cototality and the skip operator in the enumeration degrees	2019-07-03	Paper
Computable embeddings for pairs of linear orders	2019-01-07	Paper
The jump hierarchy in the enumeration degrees	2018-09-20	Paper
Defining totality in the enumeration degrees	2016-07-25	Paper
A note on the enumeration degrees of 1-generic sets	2016-05-13	Paper
INITIAL SEGMENTS OF THE ENUMERATION DEGREES	2016-05-09	Paper
Definability via Kalimullin pairs in the structure of the enumeration degrees	2015-04-22	Paper
The \(\omega\)-Turing degrees	2014-06-06	Paper
Interpreting true arithmetic in the local structure of the enumeration degrees	2013-01-07	Paper
Embedding distributive lattices in the  Formula enumeration degrees	2012-09-05	Paper
Cupping and definability in the local structure of the enumeration degrees	2012-04-19	Paper
The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees	2012-03-13	Paper
Definability in the Local Theory of the ω-Enumeration Degrees	2010-07-28	Paper
The jump operator on the \(\omega \)-enumeration degrees	2009-10-26	Paper
Exact Pair Theorem for the ω-Enumeration Degrees	2007-11-13	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: Hristo Ganchev