On the Computational Power of Extensional ESO

MaRDI QIDQ7202913arXivFDO

Authors Manuel Bodirsky, Santiago Guzmán-Pro

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Higher-order logic (03B16) Logic in computer science (03B70) Model theory of finite structures (03C13)

arXiv classification

math.LO

This page was built for publication: On the Computational Power of Extensional ESO

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