Este artículo se enfoca en teoría finitaria de modelos de primer orden de estructuras infinitas.