Results 131 to 140 of about 387 (145)

Metric Boolean algebras and constructive measure theory

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

Boolean Algebras, Tarski Invariants, and Index Sets

Notre Dame Journal of Formal Logic, 2006
Barbara F Csima, Antonio Montalbán, Richard A Shore   +2 more
exaly  

Free algebras in varieties of BL-algebras with a Boolean retract.

Algebra Universalis, 2002
Roberto Cignoli, Antoni Torrens
exaly  

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

Theoretical Computer Science, 2013
exaly  

Scaled Boolean algebras

Advances in Applied Mathematics, 2002
Michael Hardy
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  

Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints

Lecture Notes in Computer Science, 2004
Peter Z Revesz, Revesz Peter
exaly  

Hyperidentities of Boolean Algebras: Super-Boolean Algebras

2022
exaly  

The Structure of Countable Boolean Algebras

Annals of Mathematics, 1978
exaly