𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Feferman’s operational set theory

✍ Scribed by Gerhard Jäger

Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
421 KB
Volume
150
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Results in Aczel-Feferman Logic and
Some Results in Aczel-Feferman Logic and Set Theory
✍ M. W. Bunder 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 405 KB 👁 1 views

SOME RESULTS IN ACZEL-FEFERMAN LOGIC AND SET THEORY by M. W. BUNDER, Wollongong, N. S. W. (Australia)

ON SKALA'S SET THEORY
ON SKALA'S SET THEORY
✍ Jannis Manakos 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 406 KB
Extending constructive operational set t
Extending constructive operational set theory by impredicative principles
✍ Andrea Cantini 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 200 KB

We study constructive set theories, which deal with (partial) operations applying both to sets and operations themselves. Our starting point is a fully explicit, finitely axiomatized system ESTE of constructive sets and operations, which was shown in [10] to be as strong as PA. In this paper we cons

On some new operations in soft set theor
On some new operations in soft set theory
✍ M. Irfan Ali; Feng Feng; Xiaoyan Liu; Won Keun Min; M. Shabir 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 461 KB

a b s t r a c t Molodtsov introduced the theory of soft sets, which can be seen as a new mathematical approach to vagueness. In this paper, we first point out that several assertions (Proposition 2.3 (iv)-(vi), Proposition 2.4 and Proposition 2.6 (iii), (iv)) in a previous paper by Maji et al. [P.K

Set-Operational Properties of Semiatoms
Set-Operational Properties of Semiatoms in Non-additive Measure Theory
✍ Toshiaki Murofushi; Katsushige Fujimoto 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 129 KB

The semiatom is a basic concept in the non-additive measure theory, or the fuzzy measure theory, and has been used for applications of the theory (T.