We show that for logics that capture DSPACE(log n) over ordered structures, and for recursive probability distributions on the class of nite models of the signature, the 0{1 law and the convergence law hold if and only if certain boundedness conditions are satissed. As one of the applications , we consider the conjecture of Kolaitis and Vardi, stating that for arbitrary probability distribution...

The notion of stratified (L, M)-semiuniform convergence tower spaces is introduced, which extends the notions ofprobabilistic semiuniform convergence spaces and lattice-valued semiuniform convergence spaces. The resulting categoryis shown to be a strong topological universe. Besides, the relations between our category and that of stratified (L, M)-filter tower spaces are studied.

We introduce the notion of ideal, prime ideal, lter, fuzzy ideal, fuzzy prime ideal, fuzzy lter of ordered $Gamma$-semiring and study their properties and relations between them. We characterize the prime ideals and lters of ordered $Gamma$-semiring with respect to fuzzy ideals and fuzzy l- ters respectively.

Fuzzy relations are mappings from pairs of elements into the interval [0, 1]. As a replacement for the complement operation one can use the mapping that sends x to 1 − x. Together with the concepts of t-norm and t-conorm a weak form of Boolean algebra can be defined. However, to our knowledge so far no notion of domain or codomain has been investigated for fuzzy relations. These might, however,...

Wilkie (1999) proved a “theorem of the complement” which implies that in order to establish the o-minimality of an expansion of R with C∞ functions it suffices to obtain uniform (in the parameters) bounds on the number of connected components of quantifier free definable sets. He deduced that any expansion of R with a family of Pfaffian functions is o-minimal. We prove an effective version of W...