arXiv subjects

Rumen Dimitrov

Publications and source records attributed to Rumen Dimitrov.

4 recordsLinked to original sources

arXiv2026

On Cohesive Products of Fields

We develop the foundations of effective ultraproducts of fields and their Galois groups using the methods of computability theory. These computability-theoretic analogs of ultraproducts are called cohesive products, since the role of an ultrafilter is played by a cohesive set. A set of natural numbers is cohesive if it is infinite and cannot be partitioned into two infinite subsets by any computably enumerable set. In particular, we investigate the way cohesive products interact with field extensions with emphasis on both finite and infinite Galois extensions, and the associated Galois groups. We study the first-order theories and definability of cohesive powers of number fields, and characterize the infinite Galois groups of cohesive powers for a large class of infinite Galois extensions. Finally, we introduce hyper-automorphisms, which are automorphisms of a cohesive power that respect non-standard field operations, and give a complete description of the hyper-automorphism groups of cohesive powers of a large class of computable Galois extensions, and use them to describe the classical infinite Galois groups of such fields.

math.LO↗

arXiv2020

On cohesive powers of linear orders

Cohesive powers of 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 + \sigma(X \cup \{\omega + \zeta\eta + \omega^*\})$, where $\sigma(X \cup \{\omega + \zeta\eta + \omega^*\})$ denotes the shuffle of the order-types in $X$ and the order-type $\omega + \zeta\eta + \omega^*$. Furthermore, if $X$ is finite and non-empty, then there is a computable copy of $\omega$ with a cohesive power of order-type $\omega + \sigma(X)$.

math.LO↗

arXiv2019

Cohesive Powers of Linear Orders

Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of cohesive powers $Π_{C}% \mathcal{L}$ for familiar computable linear orders $\mathcal{L}$. If $% \mathcal{L}$ is isomorphic to the ordered set of natural numbers $\mathbb{N}$ and has a computable successor function, then $Π_{C}\mathcal{L}$ is isomorphic to $\mathbb{N}+\mathbb{Q}\times \mathbb{Z}.$ Here, $+$ stands for the sum and $\times $ for the lexicographical product of two orders. We construct computable linear orders $\mathcal{L}_{1}$ and $\mathcal{L}_{2}$ isomorphic to $\mathbb{N},$ both with noncomputable successor functions, such that $Π_{C}\mathcal{L}_{1}\mathbb{\ }$is isomorphic to $\mathbb{N}+% \mathbb{Q}\times \mathbb{Z}$, while $Π_{C}\mathcal{L}_{2}$ is not$.$ While cohesive powers preserve all $Π_{2}^{0}$ and $Σ_{2}^{0}$ sentences, we provide new examples of $Π_{3}^{0}$ sentences $Φ$ and computable structures $% \mathcal{M}$ such that $\mathcal{M}\vDash Φ$ while $Π_{C}\mathcal{M}% \vDash \urcorner Φ.$

math.LO↗

arXiv2018

Turing Degrees and Automorphism Groups of Substructure Lattices

The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of investigation in computable model theory. In this paper, we focus on the lattice structure of computably enumerable substructures of a given canonical computable structure. In particular, for a Turing degree $\mathbf{d}$, we investigate the groups of $\mathbf{d}$ -computable automorphisms of the lattice of $\mathbf{d}$-computably enumerable vector spaces, of the interval Boolean algebra $\mathcal{B}_{η}$ of the ordered set of rationals, and of the lattice of $\mathbf{d}$ -computably enumerable subalgebras of $\mathcal{B}_{η}$. For these groups we show that Turing reducibility can be used to substitute the group-theoretic embedding. We also prove that the Turing degree of the isomorphism types for these groups is the second Turing jump of $\mathbf{d}$ , $\mathbf{d^{\prime \prime }}$.

math.LO↗