Barwise compactness theorem

Categories: