# Tagged Questions

**5**

votes

**0**answers

186 views

+50

### Constructive compactness for countable models?

The compactness theorem for countable models is equivalent to the weak König's lemma by a result of H. Friedman and others as noted here, in the context of classical logic. The weak König's lemma in ...