>>11592693depends on the relation of their work to mathematical logic. For example, I'd imagine model theorists (especially), descriptive set theorists, and type theorists are acquainted with relevant mathematics such as recursion theory, but those in modal logic (not to be confused with model theory) much less so.
