La Escuela de Matemática para América Latina y el Caribe (EMALCA) abarca dos áreas de la matemática: la lógica matemática y la teoría de números, dos áreas fundamentales de la matemática. Además, en ambas especialidades hay investigadores(as) activos en la Universidad de Costa Rica y en otras partes de América Latina.
En las últimas dos décadas se ha experimentado un incremento importante en la interacción entre estas dos áreas, en particular, en aplicaciones de la teoría de modelos a la teoría de números y la geometría aritmética. Un ejemplo de esto ocurre en los recientes avances espectaculares sobre la conjetura de André-Oort, iniciados por la introducción de métodos de o-minimalidad por Jonathan Pila para su estudio, lo cual culminó con la demostración por parte de Jacob Tsimerman en 2015 de la conjetura de André-Oort para el espacio modular Ag de variedades abelianas con una polarización principal. Generalizaciones de esta conjetura conocidas como las conjeturas de Zilber-Pink son también objeto de estudio por medio de esta interacción entre la lógica y la teoría de números.