Cauchy completeness in elementary logic

The inverse of the distance between two structures A not equal B of finite type sis naturally measured by the smallest integer q such that a sentence of quantifier rank q-1 is satisfied by A but not by B. In this way the space Str of structures of type tau is equipped with a pseudometric. The induced topology coincides with the elementary topology of Str(tau). Using the rudiments of the theory of uniform spaces, in this elementary note we prove the convergence of every Cauchy net of structures, for any type tau.6141153115

Compacidad en lógicas con cuantificadores cardinales

Hacemos una presentación del problema de la compacidad paraalgunas lógicas con cuantificadores generalizados. Se recurre luego a las ideas de la prueba de compacidad de Fraïssé para dar una demostración topológica de la compacidad enumerable de los fragmentos monádicos de las lógicas con cuantificadores cardinales. Se obtienen otros resultados usando la misma construcción