Degrees of autostability for linear orders and linearly ordered abelian groups

DOI10.1007/s10469-016-9395-4zbMath1402.03065OpenAlexW2552681104MaRDI QIDQ2364330

Nikolay Bazhenov

Publication date: 18 July 2017

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-016-9395-4

zbMATH Keywords

index setcategoricity spectrumdegree of categoricitylinear orderautostabilitycomputable categoricityordered abelian groupautostability spectrumdegree of autostability

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28)

Related Items (7)

Effective categoricity for distributive lattices and Heyting algebras ⋮ On decidable categoricity and almost prime models ⋮ Strong degrees of categoricity and weak density ⋮ A Note on Effective Categoricity for Linear Orderings ⋮ Degrees of categoricity of rigid structures ⋮ Categoricity spectra of computable structures ⋮ Decompositions of decidable abelian groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Degrees that are not degrees of categoricity
• Pairs of recursive structures
• Generic copies of countable structures
• Autostability of models
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Categoricity in hyperarithmetical degrees
• \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
• Degrees of categoricity and the hyperarithmetic hierarchy
• Autostability spectra for Boolean algebras
• Degrees of categoricity for superatomic Boolean algebras
• Degrees of autostability relative to strong constructivizations
• Relatively convex subgroups of orderable groups
• Degrees of categoricity of computable structures
• Computable Ordered Abelian Groups and Fields
• d-computable categoricity for algebraic fields
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Recursively Categorical Linear Orderings
• On the complexity of categoricity in computable structures
• Computable categoricity for algebraic fields with splitting algorithms
• Categoricity spectra for rigid structures

This page was built for publication: Degrees of autostability for linear orders and linearly ordered abelian groups