[FOM] From Compactness to Completeness
Alex.Blum at biu.ac.il
Mon Nov 28 10:27:45 EST 2011
This is a variation of my last post to which no one replied. I hope that someone will reply to the query.
Last December on the basis of some reputable material; I asked whether it is true that compactness implies completeness? At least two colleagues responded then in the affirmative. My present questions are: 1. Does this hold for all logics? And,
why doesn't an incomplete subpart of propositional logic show that this is not true ?
More information about the FOM