Hostname: page-component-77f85d65b8-2tv5m Total loading time: 0 Render date: 2026-03-27T09:38:01.909Z Has data issue: false hasContentIssue false

ON COHESIVE POWERS OF LINEAR ORDERS

Published online by Cambridge University Press:  13 March 2023

RUMEN DIMITROV
Affiliation:
DEPARTMENT OF MATHEMATICS AND PHILOSOPHY WESTERN ILLINOIS UNIVERSITY 476 MORGAN HALL, 1 UNIVERSITY CIRCLE MACOMB, IL 61455, USA E-mail: rd-dimitrov@wiu.edu URL: http://www.wiu.edu/users/rdd104/
VALENTINA HARIZANOV
Affiliation:
DEPARTMENT OF MATHEMATICS, THE GEORGE WASHINGTON UNIVERSITY PHILLIPS HALL, 801 22ND STREET, NW WASHINGTON, DC 20052, USA E-mail: harizanv@gwu.edu URL: https://home.gwu.edu/~harizanv/
ANDREY MOROZOV
Affiliation:
SOBOLEV INSTITUTE OF MATHEMATICS 4 ACADEMICIAN KOPTYUG AVENUE 630090 NOVOSIBIRSK, RUSSIA E-mail: morozov@math.nsc.ru URL: http://www.math.nsc.ru/~asm256/
PAUL SHAFER*
Affiliation:
SCHOOL OF MATHEMATICS UNIVERSITY OF LEEDS LEEDS, LS2 9JT, UK URL: http://www1.maths.leeds.ac.uk/~matpsh/
ALEXANDRA A. SOSKOVA
Affiliation:
DEPARTMENT OF MATHEMATICAL LOGIC AND APPLICATIONS FACULTY OF MATHEMATICS AND INFORMATICS SOFIA UNIVERSITY 5 JAMES BOURCHIER BOULEVARD SOFIA 1164, BULGARIA E-mail: asoskova@fmi.uni-sofia.bg E-mail: stefanv@fmi.uni-sofia.bg URL: https://store.fmi.uni-sofia.bg/fmi/logic/asoskova/index.html URL: https://store.fmi.uni-sofia.bg/fmi/logic/stefanv/
STEFAN V. VATEV
Affiliation:
DEPARTMENT OF MATHEMATICS AND PHILOSOPHY WESTERN ILLINOIS UNIVERSITY 476 MORGAN HALL, 1 UNIVERSITY CIRCLE MACOMB, IL 61455, USA E-mail: rd-dimitrov@wiu.edu URL: http://www.wiu.edu/users/rdd104/
Rights & Permissions [Opens in a new window]

Abstract

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 + \boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$, where $\boldsymbol {\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 + \boldsymbol {\sigma }(X)$.

Information

Type
Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic