Publisher
Springer Nature Switzerland
Reference19 articles.
1. Ash, C.J., Knight, J.F.: Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol. 144. Elsevier Science B.V. (2000)
2. Bazhenov, N.A., Ganchev, H., Vatev, S.: Computable embeddings for pairs of linear orders. Algebra Logic 60(3), 163–187 (2021). https://doi.org/10.1007/s10469-021-09639-7
3. Bazhenov, N., Cipriani, V., San Mauro, L.: Learning algebraic structures with the help of Borel equivalence relations. Theor. Comput. Sci. 951 (2023). https://doi.org/10.1016/j.tcs.2023.113762
4. Bazhenov, N., Fokina, E., Rossegger, D., Soskova, A.A., Vatev, S.V.: A Lopez-Escobar theorem for continuous domains (2023). http://arxiv.org/abs/2301.09940
5. Bazhenov, N., Fokina, E., San Mauro, L.: Learning families of algebraic structures from informant. Inf. Comput. 275, 104590 (2020). https://doi.org/10.1016/j.ic.2020.104590