Results 31 to 40 of about 6,972,214 (183)
Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws [PDF]
, 2020 Masanao Ozawa
openalex +1 more source
The American Mathematical Monthly, 2014 Mathematicians manipulate sets with confidence almost every day, rarely making mistakes. Few of us, however, could accurately quote what are often referred to as "the" axioms of set theory. This suggests that we all carry around with us, perhaps subconsciously, a reliable body of operating principles for manipulating sets.
openaire +2 more sources
Notre Dame Journal of Formal Logic, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The Bulletin of Symbolic Logic, 2009 AbstractWe discuss the work of Paul Bernays in set theory, mainly his axiomatization and his use of classes but also his higher-order reflection principles.
openaire +2 more sources
Basic Topological Concepts and a Construction of Real Numbers in Alternative Set Theory [PDF]
, 2020 Kiri Sakahara, Takashi Sato
openalex +1 more source
Classical Set Theory: Theory of Sets and Classes
, 2020 This is a short introductory course to Set Theory, based on axioms of von Neumann--Bernays--Gödel (briefly NBG). The text can be used as a base for a lecture course in Foundations of Mathematics, and contains a reasonable minimum which a good (post-graduate) student in Mathematics should know about foundations of this science.
openaire +2 more sources
A credit risk evaluation based on intuitionistic fuzzy set theory for the sustainable development of electricity retailing companies in China [PDF]
, 2019 Gejirifu De +5 more
openalex +1 more source
Partial identification using random set theory [PDF]
This paper illustrates how the use of random set theory can benefit partial identification analysis. We revisit the origins of Manski's work in partial identification (e.g., Manski (1989, 1990)), focusing our discussion on identification of probability ...
Arie Beresteanu +2 more
core
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source