[FOM] informal poll special terms in logic

katzmik at macs.biu.ac.il katzmik at macs.biu.ac.il
Mon May 8 08:26:46 EDT 2017


In (2) you probably mean "model theory" not "model theorem".  MK

On Sat, May 6, 2017 17:39, John Baldwin wrote:
> 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
> 60607
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>




More information about the FOM mailing list