Results 181 to 190 of about 3,079 (232)

Infrared: a declarative tree decomposition-powered framework for bioinformatics. [PDF]

open access: yesAlgorithms Mol Biol
Yao HT   +4 more
europepmc   +1 more source

BOOLEAN ALGEBRAS IN AST

Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1992
AbstractIn this paper we investigate Boolean algebras and their subalgebras in Alternative Set Theory (AST). We show that any two countable atomless Boolean algebras are isomorphic and we give an example of such a Boolean algebra. One other main result is, that there is an infinite Boolean algebra freely generated by a set.
exaly   +2 more sources

Home - About - Disclaimer - Privacy