Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey

DOI10.1007/978-3-319-50062-1_18MaRDI QIDQ2970964zbMATH OpenOpenAlexFDO

Authors Russell Miller

Publication date 4 April 2017

Published in Computability and Complexity (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-50062-1_18

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2167522
• Computable categoricity versus relative computable categoricity
• Relativizing computable categoricity
• Degrees of categoricity of computable structures
• Strength and weakness in computable structure theory

Cites work

• scientific article; zbMATH DE number 2167522 (Why is no real title available?)
• A Jump Inversion Theorem for the Degree Spectra
• A description of autostable models
• A robuster Scott rank
• An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas
• Degrees coded in jumps of orderings
• Degrees of Structures
• Degrees of categoricity and the hyperarithmetic hierarchy
• Degrees of categoricity of computable structures
• Degrees of categoricity on a cone via \(\eta\)-systems
• Effective choice for relations and reducibilities in classes of constructive and positive models
• Generic copies of countable structures
• Notes on the Jump of a Structure
• Rice sequences of relations
• Theorie Der Numerierungen III
• \(d\)-computable categoricity for algebraic fields

Cited in

(4)

• THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS
• scientific article; zbMATH DE number 2167522 (Why is no real title available?)
• On decidable categoricity and almost prime models
• Turing degrees of complete formulas of almost prime models

This page was built for publication: Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2970964)