[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