Notes on Interpretability between Weak First-order Theories: Theories of Sequences

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ6522931arXivFDO

Authors Lars Kristiansen, Juvenal Murwanashyaka

Published in arXiv

This page was built for publication: Notes on Interpretability between Weak First-order Theories: Theories of Sequences

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Notes_on_Interpretability_between_Weak_First-order_Theories:_Theories_of_Sequences&oldid=99730769"