[FOM] From Compactness to Completeness

Alex Blum Alex.Blum at biu.ac.il
Mon Nov 28 10:27:45 EST 2011

Dear Colleagues,

	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 ?

Thank you,
Alex Blum

More information about the FOM mailing list