In this paper, the concepts of $m^{*}r$-fuzzy $\tilde{g}$-open $F_{\sigma }$ sets and $m^{*}$-fuzzy basically disconnected spaces are introduced in the sense of Šostak and Ramadan. Some interesting properties and characterizations are studied. Tietze extension theorem for $m^{*}$-fuzzy basically disconnected spaces is discussed.

In analogy with effect algebras, we introduce the test spaces and $MV$-test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity. We show that there is a close correspondence between $MV$-algebras and $MV$-test spaces.

If element $z$ of a lattice effect algebra $(E,\oplus ,\mathbf{0},\mathbf{1})$ is central, then the interval $[\mathbf{0},z]$ is a lattice effect algebra with the new top element $z$ and with inherited partial binary operation $\oplus$. It is a known fact that if the set $C\left(E\right)$ of central elements of $E$ is an atomic Boolean algebra and the supremum of all atoms of $C\left(E\right)$ in $E$ equals to the top element of $E$, then $E$ is isomorphic to a subdirect product of irreducible effect algebras ([18]). This means that if there exists a MacNeille completion $\widehat{E}$ of $E$ which is its extension...

The Katětov ordering of two maximal almost disjoint (MAD) families $𝒜$ and $ℬ$ is defined as follows: We say that $𝒜{\le }_Kℬ$ if there is a function $f:\omega \to \omega$ such that $f^{-1}\left(A\right)\in ℐ\left(ℬ\right)$ for every $A\in ℐ\left(𝒜\right)$. In [Garcia-Ferreira S., Hrušák M., Ordering MAD families a la Katětov, J. Symbolic Logic 68 (2003), 1337–1353] a MAD family is called $K$-uniform if for every $X\in ℐ{\left(𝒜\right)}^{+}$, we have that ${𝒜|}_X{\le }_K𝒜$. We prove that CH implies that for every $K$-uniform MAD family $𝒜$ there is a $P$-point $p$ of ${\omega }^{*}$ such that the set of all Rudin-Keisler predecessors of $p$ is dense in the...

Rational numbers are used to classify maximal almost disjoint (MAD) families of subsets of the integers. Combinatorial characterization of indestructibility of MAD families by the likes of Cohen, Miller and Sacks forcings are presented. Using these it is shown that Sacks indestructible MAD family exists in ZFC and that $𝔟=𝔠$ implies that there is a Cohen indestructible MAD family. It follows that a Cohen indestructible MAD family is in fact indestructible by Sacks and Miller forcings. A connection with...

In his paper in Fund. Math. 178 (2003), Miller presented two conjectures regarding MAD families. The first is that CH implies the existence of a MAD family that is also a σ-set. The second is that under CH, there is a MAD family concentrated on a countable subset. These are proved in the present paper.

The main aim of this paper is to obtain compositive cone factorizations from non-compositive ones by itereration. This is possible if and only if certain colimits of (possibly large) chains exist. In particular, we show that (strong-epi, mono) factorizations of cones exist if and only if joint coequalizers and colimits of chains of regular epimorphisms exist.

Probability on collections of fuzzy sets can be developed as a generalization of the classical probability on $\sigma$-algebras of sets. A Łukasiewicz tribe is a collection of fuzzy sets which is closed under the standard fuzzy complementation and under the pointwise application of the Łukasiewicz t-norm to countably many fuzzy sets. An observable is a fuzzy set-valued mapping defined on a $\sigma$-algebra of sets and satisfying some additional properties; formally, the role of an observable is in a sense analogous...

This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean Algebras with...

This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean Algebras with...

The paper contains some sufficient conditions for Marczewski-Burstin representability of an algebra 𝓐 of sets which is isomorphic to 𝓟(X) for some X. We characterize those algebras of sets which are inner MB-representable and isomorphic to a power set. We consider connections between inner MB-representability and hull property of an algebra isomorphic to 𝓟 (X) and completeness of an associated quotient algebra. An example of an infinite universally MB-representable algebra is given.