A strong version of Cobham’s theorem

From MaRDI portal

Publication:6083570

Jump to:navigation, search

DOI10.1145/3519935.3519958arXiv2110.11858OpenAlexW3209732136MaRDI QIDQ6083570

Philipp Hieronymi, Christian Schulz

Publication date: 8 December 2023

Published in: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2110.11858

zbMATH Keywords

undecidability logical theories Presburger arithmetic Cobham's theorem

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: A strong version of Cobham’s theorem

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6083570&oldid=35529635"