Results 111 to 120 of about 166,493,176 (124)

Metric Boolean algebras and constructive measure theory

Archive for Mathematical Logic, 2002
Thierry Coquand, Erik Palmgren
exaly  

Skew Boolean algebras derived from generalized Boolean algebras

Algebra Universalis, 2008
Matthew Spinks, Jonathan Leech
exaly  

Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras

Theoretical Computer Science, 2013
exaly  

BOOLEAN ALGEBRAS IN AST

Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1992
exaly  

Some Boolean Algebras with Finitely Many Distinguished Ideals I

Mathematical Logic Quarterly, 1995
exaly  

Scaled Boolean algebras

Advances in Applied Mathematics, 2002
Michael Hardy
exaly  

The Structure of Countable Boolean Algebras

Annals of Mathematics, 1978
exaly  

Subsumption of the Theory of Boolean Algebras under the Theory of Rings

Proceedings of the National Academy of Sciences of the United States of America, 1935
exaly  

The first order theory of Boolean algebras with a distinguished group of automorphisms

Algebra Universalis, 1982
Stanley Burris
exaly  

Fock structure of complete Boolean algebras of type I factors and of unital factorizations

Journal of Mathematical Analysis and Applications
Matija Vidmar
exaly