collaborators

1 paper

cs.LO2026

Preservation Theorems in Semiring Semantics

Sophie Brinke, Anuj Dawar, Erich Grädel +1

We study the status of preservation theorems such as the Łoś-Tarski theorem and the homomorphism preservation theorem in the context of semiring semantics. Semiring semantics has…