Talk:Barwise compactness theorem
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
stub start
[edit]Currently the stub relies on a single source (the SEP link) but I've got a couple others [Handbook of Mathematical Logic, Barwise, ed. and Admissible Sets and Structures] which treat of the theorem and can (and shall) be used to expand the article.
To-do:
- >>> add statement of the theorem <<<
- give enough context for infinitary logic, admissible sets, the regular compactness theorem
- is the Kreisel theorem different from, a forerunner to, a different case of this theorem? I've seen it called the Kreisel-Barwise compactness theorem [where? I'll find out and note it here]
- find a proof to include