✦ LIBER ✦

Two applications of Boolean models

✍ Scribed by Thierry Coquand

Publisher: Springer
Year: 1998
Tongue: English
Weight: 43 KB
Volume: 37
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s001530050088

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intensity analysis of Boolean models

✍ Wolfgang Weil 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 159 KB

Applications of Boolean powers of algebr

Applications of Boolean powers of algebraic systems

✍ A. G. Pinus 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 736 KB

A Boolean model of ultrafilters

✍ Thierry Coquand 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 557 KB

We introduce the notion of Boolean measure algebra. It can be described shortly using some standard notations and terminology. If B is any Boolean algebra, let B" denote the algebra of sequences (x,,), x,, E B. Let us write PA E B1 the sequence such that pi(i) = 1 if i<k and pi(i) = 0 if k < i. If x

Two Models of Random Intersection Graphs

Two Models of Random Intersection Graphs and their Applications

✍ Erhard Godehardt; Jerzy Jaworski 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Boolean-Valued Models of Set Theory with

Boolean-Valued Models of Set Theory with Automorphisms

✍ E. G. Hernandez 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 665 KB

BOOLEAN-VALUED MODELS OF SET THEORY WITH AUTOMORPHISMS by E. G. HERNANDEZ in London (Great Britain)') ''98-"( .), where " ( . ) " represents the concept involved in each case. 1) ThiA is B vpmion of the author's W.D. thesis at Bedford College, London University [5]. The author wishes to thank Drs. J

Subdifferentials in Boolean-valued model

Subdifferentials in Boolean-valued models of set theory

✍ A. G. Kusraev; S. S. Kutateladze 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 853 KB