On notions of compactness, object classifiers, and weak Tarski universes

From MaRDI portal
Publication:6149948