We construct a model containing a proper class of strongly compact cardinals in which no strongly compact cardinal ĸ is supercompact and in which every strongly compact cardinal has its strong compactness resurrectible.
We analyze a natural function definable from a scale at a singular cardinal, and use it to obtain some strong negative square-brackets partition relations at successors of singular cardinals. The proof of our main result makes use of club-guessing, and as a corollary we obtain a fairly easy proof of a difficult result of Shelah connecting weak saturation of a certain club-guessing ideal with strong failures of square-brackets partition relations. We then investigate the strength of weak saturation...
In [4] Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it. In [3] it is stated that this quasivariety is the variety of Sugihara algebras. Starting from this fact, in this paper we present an equational base for this variety obtained as a subvariety of the variety of R-algebras, found in [7] to be associated in the same...
In this paper the computational complexity of the problem of the approximation of a given dissimilarity measure on a finite set by a -ultrametric on and by a Robinson dissimilarity measure on is investigared. It is shown that the underlying decision problems are NP-complete.
We prove among other theorems that it is consistent with that there exists a set which is not meager additive, yet it satisfies the following property: for each measure zero set , belongs to the intersection ideal .
We present an example of a Banach space admitting an equivalent weakly uniformly rotund norm and such that there is no , for any set , linear, one-to-one and bounded. This answers a problem posed by Fabian, Godefroy, Hájek and Zizler. The space is actually the dual space of a space which is a subspace of a WCG space.