DEGREES OF CATEGORICITY ON A CONE VIAη-SYSTEMS

DOI10.1017/jsl.2016.43zbMath1386.03049arXiv1506.03066OpenAlexW2601794338MaRDI QIDQ5738206

Matthew Harrison-Trainor, Barbara F. Csima

Publication date: 1 June 2017

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

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

zbMATH Keywords

computability theorycomputable structuredegree of categoricityTuring degreerelativizing to a cone

Mathematics Subject Classification ID

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

Related Items (8)

Finite computable dimension and degrees of categoricity ⋮ Degrees of categoricity of trees and the isomorphism problem ⋮ On decidable categoricity and almost prime models ⋮ Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey ⋮ Strength and Weakness in Computable Structure Theory ⋮ Categoricity spectra of computable structures ⋮ Coding in the automorphism group of a computably categorical structure ⋮ Computable procedures for fields

Cites Work

• Unnamed Item
• Unnamed Item
• Degrees that are not degrees of categoricity
• The complexity of computable categoricity
• Labelling systems and r.e. structures
• Stability of recursive structures in arithmetical degrees
• Generic copies of countable structures
• Autostability of models
• Some effects of Ash-Nerode and other decidability conditions on degree spectra
• Borel determinacy
• Autostability and computable families of constructivizations
• Finite computable dimension does not relativize
• Computable structures and the hyperarithmetical hierarchy
• Categoricity in hyperarithmetical degrees
• Degrees of categoricity and the hyperarithmetic hierarchy
• Enumerations in computable structure theory
• Degrees of categoricity of computable structures
• A robuster Scott rank
• d-computable categoricity for algebraic fields
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Degrees coded in jumps of orderings
• Recursively Categorical Linear Orderings
• Degree Spectra of Relations on a Cone
• PRIORITY ARGUMENTS VIA TRUE STAGES
• The axiom of determinateness and reduction principles in the analytical hierarchy
• Effective model theory vs. recursive model theory
• Categoricity spectra for rigid structures

This page was built for publication: DEGREES OF CATEGORICITY ON A CONE VIAη-SYSTEMS