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 (27)
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 ⋮ SLIM: An automated reasoner for equivalences, applied to set theory ⋮ 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
This page was built for publication:
