Punctually presented structures. II: Comparing presentations.

DOI10.1007/S00153-024-00940-7MaRDI QIDQ7026087zbMATH OpenFDO

Authors M. V. Dorzhieva, Rodney G. Downey, Ellen Hammatt, Alexander Melnikov, Keng Meng Ng

Publication date 18 February 2025

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

Boolean algebralinear ordersundirected graphscomputable structuresprimitive recursivepunctual structures

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Recursive functions and relations, subrecursive hierarchies (03D20)

This page was built for publication: Punctually presented structures. II: Comparing presentations.

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