scientific article
From MaRDI portal
Publication:3265769
zbMath0091.05102MaRDI QIDQ3265769
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)
Related Items
Blocking-sets in infinite projective and affine spaces, Mathematical systems theory: Causality, 1992 Annual Meeting of the Australasian Association for Logic, Mathematics, philosophical and semantic considerations on infinity. II: Dialectical vision, Types in class set theory and inaccessible cardinals, 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, Categoricity results for second-order ZF in dependent type theory, Logical inference in English: A preliminary analysis, Cut‐conditions on sets of multiple‐alternative inferences, Soft set relations and functions, Topological reversibility and causality in feed-forward networks, Kernels and closures of soft set relations, and soft set relation mappings, Complementary properties of binary relations, Mathematical, philosophical and semantic considerations on infinity. I: General concepts, Axiomatic quantum theory, The origin of Zorn's lemma, Relations and functions in multiset context, Characterizing sets of data structures by the connectivity relation, Composite measurement, Measuring the hierarchy of feedforward networks, Categoricity results and large model constructions for second-order ZF in dependent type theory, Are induction and well-ordering equivalent?, 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, A finite arithmetic
