scientific article; zbMATH DE number 2167522

MaRDI QIDQ4677706zbMATH OpenFDO

Authors Denis R. Hirschfeldt, Bakhadyr Khoussainov, Rodney G. Downey

Publication date 12 May 2005

zbMATH Keywords

computably categorical structuregeneral computable structureintrinsically computable relation on a computable structurerelative computable structure

Mathematics Subject Classification ID

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

Recommendations

• Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey
• Uniform procedures in uncountable structures
• Computable categoricity versus relative computable categoricity
• Uniformity, universality, and computability theory

Cited in

(22)

• Expressing uniformity via oracles
• On decidable categoricity and almost prime models
• Effectively existentially-atomic structures
• Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey
• Asymptotic density, immunity and randomness
• A robuster Scott rank
• scientific article; zbMATH DE number 4098720 (Why is no real title available?)
• Torsion-free abelian groups with optimal Scott families
• Uniform procedures in uncountable structures
• Computable elements and functions in effectively enumerable topological spaces
• scientific article; zbMATH DE number 2134915 (Why is no real title available?)
• scientific article; zbMATH DE number 2154080 (Why is no real title available?)
• The complexity of computable categoricity
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• Categoricity properties for computable algebraic fields
• Uniformity, universality, and computability theory
• scientific article; zbMATH DE number 6741931 (Why is no real title available?)
• scientific article; zbMATH DE number 5064948 (Why is no real title available?)
• PUNCTUAL CATEGORICITY AND UNIVERSALITY
• STRUCTURAL HIGHNESS NOTIONS
• Defining algorithmically presented structures in first order logic
• On categoricity of scattered linear orders of constructive ranks

This page was built for publication:

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