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.

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...

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.

After recalling the axiomatic concept of fuzziness measure, we define some fuzziness measures through Sugeno's and Choquet's integral. In particular, for the so-called homogeneous fuzziness measures we prove two representation theorems by means of the above integrals.

We study maximal almost disjoint (MAD) families of functions in ${\omega }^{\omega }$ that satisfy certain strong combinatorial properties. In particular, we study the notions of strongly and very MAD families of functions. We introduce and study a hierarchy of combinatorial properties lying between strong MADness and very MADness. Proving a conjecture of Brendle, we show that if $cov\left(ℳ\right){<}_{}$, then there no very MAD families. We answer a question of Kastermans by constructing a strongly MAD family from = . Next, we study the...

We study free sequences and related notions on Boolean algebras. A free sequence on a BA $A$ is a sequence $\langle a_{\xi }:\xi <\alpha \rangle$ of elements of $A$, with $\alpha$ an ordinal, such that for all $F,G\in {\left[\alpha \right]}^{<\omega }$ with $F<G$ we have ${\prod }_{\xi \in F}{a}_{\xi }·{\prod }_{\xi \in G}-a_{\xi }\ne 0$. A free sequence of length $\alpha$ exists iff the Stone space $Ult\left(A\right)$ has a free sequence of length $\alpha$ in the topological sense. A free sequence is maximal iff it cannot be extended at the end to a longer free sequence. The main notions studied here are the spectrum function $${𝔣}_{sp}\left(A\right)=\left\{\right|\alpha |:A\text{has}\text{an}\text{infinite}\text{maximal}\text{free}\text{sequence}\text{of}\text{length}\alpha \}$$ and the associated min-max function $$𝔣\left(A\right)=min\left({𝔣}_{sp}\left(A\right)\right).$$ Among the results...

In set theory without the axiom of choice (AC), we observe new relations of the following statements with weak choice principles. $\circ$${𝒫}_{\mathrm{lf},\mathrm{c}}$