4 citations · 13 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020
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-…
math.LO2020
A Note on Computable Embeddings for Ordinals and Their Reverses
Nikolay Bazhenov, Stefan Vatev
We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of si…