Failure modes for structural highness notions

DOI10.1093/LOGCOM/EXAF051MaRDI QIDQ6909809zbMATH OpenFDO

Authors Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAF051

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• Back and forth relations for reduced abelian p-groups
• Computable functors and effective interpretability
• Computable Structure Theory
• Computable structures and the hyperarithmetical hierarchy
• Computable trees of Scott rank ω₁^CK, and computable approximation
• Degree spectra and computable dimensions in algebraic structures
• Degrees that Are Low for Isomorphism
• Isomorphism relations on computable structures
• STRUCTURAL HIGHNESS NOTIONS
• The isomorphism problem for computable Abelian _p-groups of bounded length

This page was built for publication: Failure modes for structural highness notions

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