research
∙
12/05/2022
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
We explore new interactions between finite model theory and a number of ...
share
research
∙
01/09/2022
Qualitative representations of chromatic algebras
Conventional Ramsey-theoretic investigations for edge-colourings of comp...
research
∙
10/30/2018
Domain and range for angelic and demonic compositions
We give finite axiomatizations for the varieties generated by representa...
research
∙
06/29/2016