VLDB 2026 Research / reviewers in the wild / expert
Rumen D. Dimitrov
dblp:24/5535
· DBLP profile ↗
5ranked-venue papers
5as first author
1since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 5 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | On Cohesive powers of linear OrdersabstractAbstract Cohesive powersof computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let $\omega $ , $\zeta $ , and $\eta $ denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of $\omega $ . If $\mathcal {L}$ is a computable copy of $\omega $ that is computably isomorphic to the usual presentation of $\omega $ , then every cohesive power of $\mathcal {L}$ has order-type $\omega + \zeta \eta $ . However, there are computable copies of $\omega $ , necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to $\omega + \zeta \eta $ . For example, we show that there is a computable copy of $\omega $ with a cohesive power of order-type $\omega + \eta $ . Our most general result is that if $X \subseteq \mathbb {N} \setminus \{0\}$ is a Boolean combination of $\Sigma _2$ sets, thought of as a set of finite order-types, then there is a computable copy of $\omega $ with a cohesive power of order-type $\omega + \boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$ , where $\boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$ denotes the shuffle of the order-types inXand the order-type $\omega + \zeta \eta + \omega ^*$ . Furthermore, ifXis finite and non-empty, then there is a computable copy of $\omega $ with a cohesive power of order-type $\omega + \boldsymbol {\sigma }(X)$ . Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev |
J. Symb. Log. | 1 |
| 2019 | Cohesive Powers of Linear Orders
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev |
CiE | 1 |
| 2016 | Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov |
CiE | 1 |
| 2014 | Isomorphisms of Non-Standard Fields and Ash's Conjecture
Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad |
CiE | 1 |
| 2005 | Dependence relations in computably rigid computable vector spaces
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov |
Ann. Pure Appl. Log. | 1 |