## You are here

Homeproof of compactness theorem for first order logic

## Primary tabs

# proof of compactness theorem for first order logic

Major Section:

Reference

Type of Math Object:

Proof

## Mathematics Subject Classification

03B10*no label found*03C07

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections

## Comments

## A general entry for compactness has been added

I have written an entry defining (\lambda,\kappa)-compactness, which should perhaps be referenced from here. The theorem that L_{\omega\omega} is (\omega,\omega)-compact is essentially the theorem that first order logic is compact in the sense used here.