Degrees of autostability for linear orders and linearly ordered abelian groups
From MaRDI portal
Publication:2364330
DOI10.1007/s10469-016-9395-4zbMath1402.03065OpenAlexW2552681104MaRDI QIDQ2364330
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
index setcategoricity spectrumdegree of categoricitylinear orderautostabilitycomputable categoricityordered abelian groupautostability spectrumdegree of autostability
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
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