Every Δ20 degree is a strong degree of categoricity

DOI10.1142/S0219061322500222MaRDI QIDQ5055316

Keng Meng Ng, Barbara F. Csima

Publication date: 13 December 2022

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

isomorphismsTuring degreescomputable structure theorydegrees of categoricity

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Degrees that are not degrees of categoricity
• Finite computable dimension and degrees of categoricity
• Degrees of categoricity for prime and homogeneous models
• Degrees of categoricity and the hyperarithmetic hierarchy
• Degrees of categoricity vs. strong degrees of categoricity
• Degrees of autostability relative to strong constructivizations
• Degrees of categoricity of computable structures
• Strength and Weakness in Computable Structure Theory
• DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION
• Degrees of categoricity above limit ordinals

This page was built for publication: Every Δ20 degree is a strong degree of categoricity