A pathological punctually 1-decidable structure

DOI10.1090/PROC/17329MaRDI QIDQ6937314zbMATH OpenFDO

Authors Ellen Hammatt, Dan Turetsky, Alexander Melnikov, Keng Meng Ng

Publication date 27 August 2025

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

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

This page was built for publication: A pathological punctually 1-decidable structure

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