In a previous paper we explored the notion of coherent fuzzy consequence operator. Since we did not know of any example in the literature of non-coherent fuzzy consequence operator, we also showed several families of such operators. It is well-known that the operator induced by a fuzzy preorder through Zadeh's compositional rule is always a coherent fuzzy consequence operator. It is also known that the relation induced by a fuzzy consequence operator is a fuzzy preorder if such operator is coherent....

We parametrize Cichoń’s diagram and show how cardinals from Cichoń’s diagram yield classes of small sets of reals. For instance, we show that there exist subsets N and M of $w^w\times 2^w$ and continuous functions $e,f:w^w\to w^w$ such that  • N is $G_{\delta }$ and $N_x:x\in w^w$, the collection of all vertical sections of N, is a basis for the ideal of measure zero subsets of $2^w$;  • M is $F_{\sigma }$ and $M_x:x\in w^w$ is a basis for the ideal of meager subsets of $2^w$;  •$\forall x,y{N}_{e\left(x\right)}\subseteq N_y\Rightarrow M_x\subseteq M_{f\left(y\right)}$. From this we derive that for a separable metric space X,  •if for all Borel (resp. $G_{\delta }$) sets $B\subseteq X\times 2^w$ with all...

Prime implicant-implicate generating algorithms for multiple-valued logics (MVL's) are introduced. Techniques from classical logic not requiring large normal forms or truth tables are adapted to certain regular'' multiple-valued logics. This is accomplished by means of signed formulas, a meta-logic for multiple valued logics; the formulas are normalized in a way analogous to negation normal form. The logic of signed formulas is classical in nature. The presented method is based on path dissolution,...

Let m ≥ 2 be an integer. We show that ZF + “Every countable set of m-element sets has an infinite partial choice function” is not strong enough to prove that every countable set of m-element sets has a choice function, answering an open question from . (Actually a slightly stronger result is obtained.) The independence result in the case where m = p is prime is obtained by way of a permutation (Fraenkel-Mostowski) model of ZFA, in which the set of atoms (urelements) has the structure of a vector...

We prove the results stated in the title.

We fix a Boolean subalgebra B of an orthomodular poset P and study the mappings s:P → [0,1] which respect the ordering and the orthocomplementation in P and which are additive on B. We call such functions B-states on P. We first show that every P possesses "enough" two-valued B-states. This improves the main result in [13], where B is the centre of P. Moreover, it allows us to construct a closure-space representation of orthomodular lattices. We do this in the third section. This result may also...

Motivated by an application to the unconditional basic sequence problem appearing in our previous paper, we introduce analogues of the Laver ideal on ℵ₂ living on index sets of the form ${\left[{\aleph }_k\right]}^{\omega }$ and use this to refine the well-known high-dimensional polarized partition relation for ${\aleph }_{\omega }$ of Shelah.

Let κ > ω be a regular cardinal and λ > κ a cardinal. The following partition property is shown to be consistent relative to a supercompact cardinal: For any $f:{\cup }_{n<\omega }{\left[X\right]}_{\subset }^n\to \gamma$ with $X\subset P_{\kappa }\lambda$ unbounded and 1 < γ < κ there is an unbounded Y ∪ X with $|f^{\text{'}\text{'}}{\left[Y\right]}_{\subset }^n|=1$ for any n < ω.

A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.

We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a $T_3$ Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first-countable, 0-dimensional, Hausdorff space of size $2^{\omega }$ and weight ${\omega }_1$ which admits a point countable base without a partition to two bases.