3 citations · 3 across the 4 of their papers we have counts for
4 papers
On Cohesive Products of Fields
Rumen Dimitrov, Valentina Harizanov, Henry J. Klatt +1
We develop the foundations of effective ultraproducts of fields and their Galois groups using the methods of computability theory. These computability-theoretic analogs of ultrapro…
On cohesive powers of linear orders
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov +3
Cohesive powers of computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let , , and denote the respective order-…
Cohesive Powers of Linear Orders
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov +3
Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of…
Turing Degrees and Automorphism Groups of Substructure Lattices
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov
The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably en…