María Manzano

• Extensions of first order logic
• Model theory