ON COHESIVE POWERS OF LINEAR ORDERS

DOI10.1017/JSL.2023.14MaRDI QIDQ6095969zbMATH OpenOpenAlexFDO

Authors R. D. Dimitrov, Valentina Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra Soskova, S. Vatev

Publication date 11 September 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2009.00340

zbMATH Keywords

cohesive powerscomputable structureseffective ultrapowerslinear orders

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

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 $mathcalL$ is a computable copy of $omega$ that is computably isomorphic to the usual presentation of $omega$, then every cohesive power of $mathcalL$ has order-type $omega+zetaeta$. However, there are computable copies of $omega$, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to $omega+zetaeta$. 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 $XsubseteqmathbbNsetminus0$ is a Boolean combination of $Sigm{a}_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(Xcupomega+zetaeta+omeg{a}^{\ast })$, where $sigma(Xcupomega+zetaeta+omeg{a}^{\ast })$ denotes the shuffle of the order-types in $X$ and the order-type $omega+zetaeta+omeg{a}^{\ast }$. 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)$.

Recommendations

• Cohesive powers of linear orders
• Cofinalities of linear orders
• A note on the expressive power of linear orders
• On the Linearity of Order-isomorphisms
• On extensions of constructive linear orders
• Linear orders on general algebras
• An axiomatic characterization of linear orders
• Linear orders in NIP structures
• On linearly ordered structures of finite rank
• Russian Text Ignored

Cites work

• A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)
• Cohesive powers of computable structures
• Cohesive powers of linear orders
• Computable Structure Theory
• Computable structures and the hyperarithmetical hierarchy
• Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
• Forcing, arithmetic, division rings
• scientific article; zbMATH DE number 3861137 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• Isomorphisms of non-standard fields and Ash's conjecture
• Model theory.
• Models of arithmetic and recursive functions
• Orbits of maximal vector spaces
• Recursive Functions Modulo Co-r-Maximal Sets
• Recursive linear orders with recursive successivities
• Turing computability. Theory and applications
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen

Cited in

(2)

• A note on the expressive power of linear orders
• Cohesive powers of structures

This page was built for publication: ON COHESIVE POWERS OF LINEAR ORDERS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6095969)