A Note on Effective Categoricity for Linear Orderings
DOI10.1007/978-3-319-55911-7_7zbMath1459.03045OpenAlexW2600516693MaRDI QIDQ2988812
Publication date: 19 May 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-55911-7_7
categoricity spectrumcomputable structuredegree of categoricitycomputable categoricityordered abelian grouplinear orderingautostability relative to strong constructivizationsautostability spectrumdecidable structure
Total orders (06A05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Degrees that are not degrees of categoricity
- The complexity of computable categoricity
- Pairs of recursive structures
- Stability of recursive structures in arithmetical degrees
- Generic copies of countable structures
- Autostability of models
- The quantity of nonautoequivalent constructivizations
- Computable structures and the hyperarithmetical hierarchy
- Degrees of categoricity and the hyperarithmetic hierarchy
- Autostability spectra for Boolean algebras
- Degrees of autostability for linear orders and linearly ordered abelian groups
- Degrees of autostability relative to strong constructivizations
- Enumerations in computable structure theory
- Degrees of categoricity of computable structures
- Effective procedures in field theory
- Intrinsic bounds on complexity and definability at limit levels
- 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
- CONSTRUCTIVE ALGEBRAS I
- Effective model theory vs. recursive model theory
- Categoricity spectra for rigid structures
- Effective categoricity of computable linear orderings
This page was built for publication: A Note on Effective Categoricity for Linear Orderings