Register to reply 
Compactness theorem proof 
Share this thread: 
#1
Jun610, 04:28 PM

P: 36

An expression of the compactness theorem for sets of sentences is that: let T be a set of sentences in L. Then T has a model iff every finite subset of T has a model.
Could anyone give me some hints how to prove this? The first direction is straightforward: every model of T is a model of every subset of T. But what about the opposite direction? Any help is appreciated! 


#2
Jun610, 06:26 PM

P: 402

My advice would be to not try to reinvent the wheel, and study the proofs given in any logic textbook.



Register to reply 
Related Discussions  
Compactness Proof w/o HeineBorel  Calculus & Beyond Homework  7  
Proof using meanvalue theorem  Calculus & Beyond Homework  1  
Analysis  compactness and sequentially compactness  Calculus & Beyond Homework  1  
Proof of the mean value theorem  Calculus & Beyond Homework  9  
Analysis / compactness proof check  Calculus  6 