Infinitary logic in the finite