Computability for tree presentations of continuum-size structures

MaRDI QIDQ7202040arXivFDO

Authors Jason P. Block, Russell Miller

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

arXiv classification

math.LO

This page was built for publication: Computability for tree presentations of continuum-size structures

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