๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

ZF and boolean algebra

โœ Scribed by J. M. Plotkin


Book ID
112905910
Publisher
The Hebrew University Magnes Press
Year
1976
Tongue
English
Weight
41 KB
Volume
24
Category
Article
ISSN
0021-2172

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


ZF and Boolean algebra
โœ J. M. Plotkin ๐Ÿ“‚ Article ๐Ÿ“… 1976 ๐Ÿ› The Hebrew University Magnes Press ๐ŸŒ English โš– 460 KB
Boolean algebra and syllogism
โœ V. A. Bocharov ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 642 KB
Closure Algebras and Boolean Algebras
โœ G. J. Logan ๐Ÿ“‚ Article ๐Ÿ“… 1977 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 212 KB

## S(z A y ) z S(A), by (c) * S(z) A S(Y) 2 S(A) e S(x) 2 S(A) and S(y) 2 S(A) e C ( s ) s C ( A ) 'and C ( y ) E C ( A ) , by (c) o x โ‚ฌ C ( A ) and Y E C ( A ) . Now every ultrafilter is consistent and closed with respect to C, since if U is an ultrafilter and C ( U ) = X , then C({,uu,, . . ., ,

Implicative Boolean algebra
โœ Arthur H. Copeland ๐Ÿ“‚ Article ๐Ÿ“… 1950 ๐Ÿ› Springer-Verlag ๐ŸŒ French โš– 306 KB