Author:
Camrud Caleb M. H.,McNicholl Timothy H.
Publisher
Springer Nature Switzerland
Reference8 articles.
1. Ash, C.J., Knight, J.: Computable structures and the hyperarithmetical hierarchy, Studies in Logic and the Foundations of Mathematics, vol. 144. North-Holland Publishing Co., Amsterdam (2000)
2. Ben Yaacov, I., Usvyatsov, A.: Continuous first-order logic and local stability. Trans. Am. Math. Soc. 362, 5213–5259 (2010)
3. Yaacov, I.B., Berenstein, A, Ward Henson, C., Usvyatsov, A.: Model theory for metric structures. Lond. Math. Soc. Lect. Note Ser. 350, 315–427. Cambridge Univ. Press, Cambridge (2008). Model theory with applications to algebra and analysis. Vol. 2
4. Ben Yaacov, I., Iovino, J.: Model theoretic forcing in analysis. Ann. Pure Appl. Logic 158(3), 163–174 (2009)
5. Yaacov, I.B., Pedersen, A.P.: A proof of completeness for continuous first-order logic. J. Symb. Log. 75(1), 168–190 (2010)