Finitely axiomatizable varieties of BCK-algebras.
We discuss two ways to construct standard probability measures, called push-down measures, from internal probability measures. We show that the Wasserstein distance between an internal probability measure and its push-down measure is infinitesimal. As an application to standard probability theory, we show that every finitely-additive Borel probability measure on a separable metric space is a limit of a sequence of countably-additive Borel probability measures in the sense that for all bounded...
We deal with weak choice principles of the form: Every "finite" family of non-empty sets has a choice function, where "finite" stands for one of several different definitions of finiteness that are not equivalent unless we assume the axiom of choice (AC). Several relations of implication and independence are established. In the process, we answer a few open questions about the relations between different definitions of finiteness.
In this paper we define, for fuzzy topology, notions corresponding to finite-to-one and -to-one maps. We study the relationship between these new fuzzy maps and various kinds of fuzzy perfect maps. Also, we show the invariance and the inverse inveriance under the various kinds of fuzzy perfect maps (and the finite-to-one fuzzy maps), of different properties of fuzzy topological spaces.
Third of a series of articles laying down the bases for classical first order model theory. Interpretation of a language in a universe set. Evaluation of a term in a universe. Truth evaluation of an atomic formula. Reassigning the value of a symbol in a given interpretation. Syntax and semantics of a non atomic formula are then defined concurrently (this point is explained in [16], 4.2.1). As a consequence, the evaluation of any w.f.f. string and the relation of logical implication are introduced....
The existence of fixed points for monotone maps on the fuzzy ordered sets under suitable conditions is proved.
Under suitable conditions we prove the existence of fixed points of fuzzy monotone multifunctions.
We prove the existence of a fixed point of non-expanding fuzzy multifunctions in -fuzzy preordered sets. Furthermore, we establish the existence of least and minimal fixed points of non-expanding fuzzy multifunctions in -fuzzy ordered sets.
Given a locale and a join semilattice with bottom element , a new concept called -slice is defined,where is as an action of the locale on the join semilattice . The -slice adopts topological properties of the locale through the action . It is shown that for each , is an interior operator on .The collection is a Priestly space and a subslice of -. If the locale is spatial we establish an isomorphism between the -slices and . We have shown that the fixed set of ,...