Abstract
We consider the complexity (in terms of the arithmetical hierarchy) of the various quantifier levels of the diagram of a computably presented metric structure. As the truth value of a sentence of continuous logic may be any real in [0, 1], we introduce two kinds of diagrams at each level: the closed diagram, which encapsulates weak inequalities of the form \(\phi ^\mathcal {M}\le r\), and the open diagram, which encapsulates strict inequalities of the form \(\phi ^\mathcal {M}< r\). We show that the closed and open \(\Sigma _N\) diagrams are \(\Pi ^0_{N+1}\) and \(\Sigma ^0_N\) respectively, and that the closed and open \(\Pi _N\) diagrams are \(\Pi ^0_N\) and \(\Sigma ^0_{N + 1}\) respectively. We then introduce effective infinitary formulas of continuous logic and extend our results to the hyperarithmetical hierarchy. Finally, we demonstrate that our results are optimal.
Similar content being viewed by others
Notes
Here, the term ‘open’ is derived from topological consideration rather than the absence of quantifiers.
References
Chisholm, J., Moses, M.: An undecidable linear order that is \(n\)-decidable for all \(n\). Notre Dame J. Formal Logic 39(4), 519–526 (1998)
Fokina, E.B., Goncharov, S.S., Kharizanova, V., Kudinov, O.V., Turetski, D.: Index sets of \(n\)-decidable structures that are categorical with respect to \(m\)-decidable representations. Algebra Logika 54(4), 520–528544545547548 (2015)
Fokina, E.B., Harizanov, V., Melnikov, A.G.: Computable model theory. In: Downey, R. (ed.) Turing’s Legacy: Developments from Turing’s Ideas in Logic. Cambridge University Press, Cambridge (2014)
Ben Yaacov, I., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model theory for metric structures. In: Model Theory with Applications to Algebra and Analysis. Vol. 2. London Math. Soc. Lecture Note Ser., vol. 350, pp. 315–427. Cambridge Univ. Press, Cambridge (2008)
Melnikov, A.G.: Computably isometric spaces. J. Symb. Logic 78(4), 1055–1085 (2013)
Franklin, J.N.Y., McNicholl, T.H.: Degrees of and lowness for isometric isomorphism. J. Log. Anal. 12, 6–23 (2020)
Ben Yaacov, I., Iovino, J.: Model theoretic forcing in analysis. Ann. Pure Appl. Logic 158(3), 163–174 (2009)
Eagle, C.J.: Expressive power of infinitary \([0,1]\)-valued logics. In: Beyond First Order Model Theory, pp. 3–22. CRC Press, Boca Raton, FL (2017)
Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, Berlin (1987)
Cooper, S.B.: Computability Theory. Chapman & Hall/CRC, Boca Raton (2004)
Ash, C.J., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol. 144, p. 346. North-Holland Publishing Co., Amsterdam (2000)
Sacks, G.E.: Higher Recursion. Theory Perspectives in Mathematical Logic, p. 344. Springer, Berlin (1990). https://doi.org/10.1007/BFb0086109
Specker, E.: Der satz vom maximum in der rekursiven analysis. In: Ernst Specker Selecta, pp. 148–159. Springer, Berlin (1990)
Weihrauch, K.: Computable Analysis. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2000)
Harrison-Trainor, M., Melnikov, A., Meng Ng, K.: Computability of polish spaces up to homeomorphism. J. Symb. Logic 85(4), 1664–1686 (2020). https://doi.org/10.1017/jsl.2020.67
Goldbring, I., Hart, B.: Operator algebras with hyperarithmetic theory. J. Logic Comput. 31(2), 612–629 (2020). https://doi.org/10.1093/logcom/exaa059
Fritz, T., Netzer, T., Thom, A.: Can you compute the operator norm? Proc. Am. Math. Soc. 142(12), 4265–4276 (2014)
Ash, C., Knight, J., Manasse, M., Slaman, T.: Generic copies of countable structures. Ann. Pure Appl. Logic 42(3), 195–205 (1989). https://doi.org/10.1016/0168-0072(89)90015-8
Chisholm, J.: Effective model theory vs. recursive model theory. J. Symb. Logic 55(3), 1168–1191 (1990)
Moody, J.G.: Computable Continuous Structure Theory, p. 116. ProQuest LLC, Ann Arbor, MI (2019). Thesis (Ph.D.)–University of California, Berkeley
Ventsov, Y.: Effective choice for relations and reducibilities in classes of constructive and positive models. Algebra and Logic 31, 63–73 (1992)
Greenberg, N., Melnikov, A.G., Knight, J.F., Turetsky, D.: Uniform procedures in uncountable structures. J. Symb. Log. 83(2), 529–550 (2018). https://doi.org/10.1017/jsl.2017.91
Acknowledgements
Isaac Goldbring was partially supported by the National Science Foundation, grant DMS-2054477. We thank the referees for their helpful suggestions and corrections.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Camrud, C., Goldbring, I. & McNicholl, T.H. On the complexity of the theory of a computably presented metric structure. Arch. Math. Logic 62, 1111–1129 (2023). https://doi.org/10.1007/s00153-023-00884-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-023-00884-4
Keywords
- Computable structure theory
- Continuous logic
- Computable analysis
- Metric structures
- Hyperarithmetical hierarchy