Algorithms Algoritmos Definability Definibilidad Finite model theory Fragmentos de primer orden Model theory Morfismos Morphisms Relaciones Teoría de modelos finitos Fragments of the first order Teoría de modelos First order fragments Relations