Text this: Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales