[FOM] informal poll special terms in logic

John Baldwin jbaldwin at uic.edu
Sat May 6 10:39:21 EDT 2017

Reply with a vote to jbaldwin at uic.edu.  Feel free to ignore some items.

Do not reply to the list unless you really have something to say.
I will summarize the results and perhaps kick of a discussion after I have
tallied the results.

Do you regard the following distinctions as `archaic'  or `specialized'
 (i.e. only used by some areas of logic) or `unknown to you'?

1) pure versus applied logic

2) pure versus applied model theorem

3) recursive versus computable

4) valid sentence versus valid argument

5) Fratur N to name a structure rather Roman N

John Baldwin

John T. Baldwin
Professor Emeritus
Department of Mathematics, Statistics,
and Computer Science M/C 249
jbaldwin at uic.edu
851 S. Morgan
Chicago IL
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170506/8dde857b/attachment.html>

More information about the FOM mailing list