# The Undecidability of First-order Logic over Small Signatures

Advisors: Andrej Dudenhefner and Dominik Kirst