A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem.

Thomas Paine

Browse the full MFPS paper archive.