×

Sheaf theory and the continuum hypothesis. (English) Zbl 0244.18005

Toposes, algebraic Geometry and Logic, Dalhousie Univ. Halifax 1971, Lect. Notes Math. 274, 13-42 (1972).

MSC:

18B05 Categories of sets, characterizations
18A15 Foundations, relations to logic and deductive systems
03E50 Continuum hypothesis and Martin’s axiom
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)