On the complexity of the theory of a computably presented metric structure
Article in Archive for Mathematical Logic (June 2023)
The most recent citing publications are shown below. View all 18 publications that cite this research output on Dimensions.
Article in Archive for Mathematical Logic (June 2023)
Article in Transactions of the American Mathematical Society Series B (January 2023)
Article in Notre Dame Journal of Formal Logic (May 2022)