Articles tagged with model theory

Satisfiability in Unary Relational Signatures