Hoops and their implicational reducts (abstract)
The variety of basic algebras is closed under formation of horizontal sums. We characterize when a given basic algebra is a horizontal sum of chains, MV-algebras or Boolean algebras.
The plane can be covered by n + 2 clouds iff .
We show that assuming the consistency of a supercompact cardinal with a measurable cardinal above it, it is possible for to be measurable and to carry exactly τ normal measures, where is any regular cardinal. This contrasts with the fact that assuming AD + DC, is measurable and carries exactly three normal measures. Our proof uses the methods of [6], along with a folklore technique and a new method due to James Cummings.
The aim of this paper is to provide a methodology for turning a known crisp logic into a fuzzy system. We require of the methodology that it be meaningful in general terms, using processes which are independent of the notion of fuzziness, and that it yield a considerable number of known fuzzy systems.
Let X be a Polish space, and let be a sequence of hereditary subsets of K(X) (the space of compact subsets of X). We give a general criterion which allows one to decide whether is a true subset of K(X). We apply this criterion to show that several natural families of thin sets from harmonic analysis are true .
We present a new forcing notion combining diagonal supercompact Prikry forcing with interleaved extender based forcing. We start with a supercompact cardinal κ. In the final model the cofinality of κ is ω, the singular cardinal hypothesis fails at κ, and GCH holds below κ. Moreover we define a scale at κ which has a stationary set of bad points in the ground model.
Since the common approach to defining membership functions of fuzzy numbers is rather subjective, another, more objective method is proposed. It is applicable in situations where two models, say and , share the same uncertain input parameter . Model is used to assess the fuzziness of , whereas the goal is to assess the fuzziness of the -dependent output of model . Simple examples are presented to illustrate the proposed approach.