14
votes
12answers
2k views

Excellent uses of induction and recursion

Can you make an example of a great proof by induction or construction by recursion? Given that you already have your own idea of what "great" means, here it can also be taken to mean that the chosen ...
4
votes
2answers
954 views

Any suggestions for a course in Mathematical Logic?

I am teaching a topics course for Mathematics majors (at Temple), and am considering Logic as the topic. I was wondering if people (a) have suggestions for an appropriate text and (b) how much might ...
0
votes
1answer
944 views

Dual of Zorn's Lemma? [closed]

It seems to me that the dual of Zorn's Lemma should be true: if $S$ is a non-empty partially ordered set and every chain of $S$ has a lower bound in $S$, then $S$ has at least one minimal element. ...