Results 21 to 30 of about 22,156 (198)

Spectra of Tukey types of ultrafilters on Boolean algebras [PDF]

, 2015
Extending recent investigations on the structure of Tukey types of ultrafilters on $\mathcal{P}(\omega)$ to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras, including interval ...
Brown, Jennifer A., Dobrinen, Natasha
core   +3 more sources

Overlap Algebras as Almost Discrete Locales [PDF]

, 2016
Boolean locales are almost discrete. In fact, spatial Boolean locales are the same thing as discrete spaces. This does not make sense intuitionistically, since (non-trivial) discrete locales fail to be Boolean.
Ciraulo, Francesco
core   +2 more sources

A Category of Ordered Algebras Equivalent to the Category of Multialgebras

Bulletin of the Section of Logic, 2023
It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic elements.
Marcelo Esteban Coniglio, Guilherme Vicentin de Toledo   +1 more
doaj   +1 more source

Playful Boolean algebras [PDF]

Transactions of the American Mathematical Society, 1986
We show that for an atomless complete Boolean algebra B \mathcal {B} of density ≤ 2 ℵ 0 \leq {2^{{\aleph _0}}} , the Banach-Mazur, the split ...
openaire   +2 more sources

Amalgamation Property in the subvarieties of Gautama and Almost Gautama Algebras [PDF]

Journal of Mahani Mathematical Research
Gautama algebras were introduced in 2022, as a common generalization of regular double Stone algebras and regular Kleene Stone algebras. Even more recently, Gautama algebras were further generalized to Almost Gautama algebras (AG for short).
Juan M. Cornejo, Hanamantagouda P. Sankappanavar   +1 more
doaj   +1 more source

On Implicative Derivations of MTL-Algebras

Axioms, 2022
This paper introduces the implicative derivations and gives some of their characterizations on MTL-algebras. Furthermore, we provide some representation of MTL-algebras by implicative derivations and obtain some representation of Boolean algebra via the ...
Jianxin Liu, Yijun Li, Yongwei Yang, Juntao Wang   +3 more
doaj   +1 more source

Independent families in Boolean algebras with some separation properties [PDF]

, 2012
We prove that any Boolean algebra with the subsequential completeness property contains an independent family of size continuum. This improves a result of Argyros from the 80ties which asserted the existence of an uncountable independent family.
Koszmider, Piotr, Shelah, Saharon
core   +2 more sources

On the Sperner property and Gorenstein Algebras Associated to Matroids [PDF]

Discrete Mathematics & Theoretical Computer Science, 2012
We introduce a certain class of algebras associated to matroids. We prove the Lefschetz property of the algebras for some special cases. Our result implies the Sperner property for the Boolean lattice and the vector space lattice.
Toshiaki Maeno, Yasuhide Numata
doaj   +1 more source

Tense Operators on BL-algebras and Their Applications

Bulletin of the Section of Logic, 2021
In this paper, the notions of tense operators and tense filters in BL-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense BL-algebras, tense MV-algebras and tense Boolean algebras are investigated ...
Akbar Paad
doaj   +1 more source

Fuzzy Weak Regular, Strong and Preassociative Filters in Residuated Lattices

Fuzzy Information and Engineering, 2014
In this paper, the notions of fuzzy weak regular, strong and preassociative filters are introduced with some properties of them investigated. In particular, under the context of Glivenko algebras, fuzzy weak regular filters and regular ones are ...
Wei Yang
doaj   +1 more source