Source: /wikibot/barwise-compactness-theorem

= Barwise compactness theorem
{wiki=Barwise_compactness_theorem}