ON COHESIVE POWERS OF LINEAR ORDERS

DOI10.1017/jsl.2023.14arXiv2009.00340OpenAlexW4324065242MaRDI QIDQ6095969

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

Publication date: 11 September 2023

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

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

zbMATH Keywords

linear orderscomputable structurescohesive powerseffective ultrapowers

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Orbits of maximal vector spaces
• A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)
• Recursive linear orders with recursive successivities
• Model theory.
• Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
• Forcing, arithmetic, division rings
• Models of arithmetic and recursive functions
• Computable structures and the hyperarithmetical hierarchy
• Cohesive powers of linear orders
• Turing Computability
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• Computable Structure Theory
• Isomorphisms of Non-Standard Fields and Ash’s Conjecture
• Recursive Functions Modulo Co-r-Maximal Sets

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