Recent content by Asmodeus

I had my mathematical logic exam last night, so I had to figure out all these things myself. Yes, it was the difference between the two senses of completeness, notice the "in" was in parentheses. "Is it possible that the author proves completness for the calculus without equality (which...

I'm in Mathematical Logic course. I just wanted to tie a few loose ends. In our logic text, ("A Friendly Introduction to Mathematical Logic" -C. Leary) he uses the Henkin axioms to prove Godel's Completeness theorem. I understand the whole proof, except the last part that requires...

Hello, I'm a first-year student and I am in advanced calculus (specifically, Analysis I). I, however, switched into the class during the third week. So I am having quite a bit of difficulty, because I haven't learned any fundamental concepts. So I am asking if someone can please discuss a...