For Math 260 students (UCSD, Winter-Spring 2012).

This blog is intended for discussions accompanying the Introduction to Mathematical Logic course, during Winter and Spring 2012.  

It will be set up so students can create new posts, and anyone can view or answer them.  For this, if you are attending the course, please send me your preferred email for blog posting.  It is probably best if you have a gmail address, but I expect it will work also if you do not have a gmail address.    

Any discussions related to the course is fine, including discussions about, and hints for, homework problems.

It is a bit counter-intuitive how to use Blogger: To view a particular post including all of its comments, you must either click on the post title in the sidebar on the right side of the screen, or on the "Comments" link at the bottom of the past.

You can use LaTeX commands in either posts or comments, which are implemented with MathJax and should work in almost all up-to-date browsers.  Note that enclosing math in single $'s does not work.  However, you may use "\(\backslash(\)" and "\(\backslash)\)" for inline math and double dollar signs or "\(\backslash[\)" and "\(\backslash]\)" for displayed math.  Examples:  $(y+\sqrt z)^{-1}$ and  \( \sin^2 x^2 \).  And, a displayed equation is: $$\frac 2 3$$
Another displayed equation is here:
\[
\forall x \exists y (x\le y \land y\le x \leftrightarrow x=y) .
\]

Sam Buss
sbuss@math.ucsd.edu
sambuss@gmail.com