Generically computable abelian groups and isomorphisms

DOI10.1093/LOGCOM/EXAF044MaRDI QIDQ6923513zbMATH OpenFDO

Authors Wesley Calvert, Douglas Cenzer, Valentina Harizanov

Publication date 30 September 2025

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

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

computabilityabelian groupscoarse computabilitygeneric computability\(\varSigma_n\) elementary substructure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Generically computable abelian groups and isomorphisms

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