On the complexity of the theory of a computably presented metric structure

Caleb Camrud, Isaac Goldbring, Timothy H. McNicholl. On the complexity of the theory of a computably presented metric structure. Arch. Math. Log., 62(7-8):1111-1129, November 2023. [doi]

Abstract

Abstract is missing.