×

Propositional connectives and the set theory of the continuum. (English) Zbl 0892.03021

This is a brief survey of linear logic and cardinal characteristics of the continuum. These two theories are connected, although their underlying ideas are very different.

MSC:

03E05 Other combinatorial set theory
03B20 Subsystems of classical logic (including intuitionistic logic)
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E15 Descriptive set theory
54A25 Cardinality properties (cardinal functions and inequalities, discrete subsets)
PDFBibTeX XMLCite