Publication:3265769
From MaRDI portal
zbMath0091.05102MaRDI QIDQ3265769
Publication date: 1960
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03Exx: Set theory
Related Items
1992 Annual Meeting of the Australasian Association for Logic, A finite arithmetic, Mathematical systems theory: Causality, Axiomatic quantum theory, Relations and functions in multiset context, Blocking-sets in infinite projective and affine spaces, Logical inference in English: A preliminary analysis, Complementary properties of binary relations, The origin of Zorn's lemma, The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based, Categorical set theory: A characterization of the category of sets, The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\), Topos theory and Souslin's hypothesis, Types in class set theory and inaccessible cardinals, Composite measurement, Characterizing sets of data structures by the connectivity relation