Switch to: References

Add citations

You must login to add citations.
  1. Cohesive powers of structures.Valentina Harizanov & Keshav Srinivasan - 2024 - Archive for Mathematical Logic 63 (5):679-702.
    A cohesive power of a structure is an effective analog of the classical ultrapower of a structure. We start with a computable structure, and consider its effective power over a cohesive set of natural numbers. A cohesive set is an infinite set of natural numbers that is indecomposable with respect to computably enumerable sets. It plays the role of an ultrafilter, and the elements of a cohesive power are the equivalence classes of certain partial computable functions determined by the cohesive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On Cohesive Powers of Linear Orders.Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra A. Soskova & Stefan V. Vatev - 2023 - Journal of Symbolic Logic 88 (3):947-1004.
    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 + (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation