scientific article; zbMATH DE number 3148521

MaRDI QIDQ3265769zbMATH OpenFDO

Authors P. Suppes

Publication date 1960

zbMATH Keywords

set theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)

Cited in

(31)

• 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
• Mathematics, philosophical and semantic considerations on infinity. II: Dialectical vision
• Categoricity results for second-order ZF in dependent type theory
• Categorical set theory: A characterization of the category of sets
• The interpreted type-free modal calculus MC^. II: Foundations of MC^
• Topos theory and Souslin's hypothesis
• Types in class set theory and inaccessible cardinals
• Mathematical, philosophical and semantic considerations on infinity. I: General concepts
• Categoricity results and large model constructions for second-order ZF in dependent type theory
• Are induction and well-ordering equivalent?
• Composite measurement
• Measuring the hierarchy of feedforward networks
• scientific article; zbMATH DE number 3851078 (Why is no real title available?)
• Characterizing sets of data structures by the connectivity relation
• 1992 Annual Meeting of the Australasian Association for Logic
• scientific article; zbMATH DE number 3997753 (Why is no real title available?)
• A finite arithmetic
• Topological reversibility and causality in feed-forward networks
• scientific article; zbMATH DE number 5046773 (Why is no real title available?)
• Kernels and closures of soft set relations, and soft set relation mappings
• scientific article; zbMATH DE number 3279143 (Why is no real title available?)
• Mathematical systems theory: Causality
• Axiomatic quantum theory
• Cut‐conditions on sets of multiple‐alternative inferences
• Soft set relations and functions
• SLIM: An automated reasoner for equivalences, applied to set theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3265769)