All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 12 Next

Displaying 221 – 240 of 388

Showing per page

Some results on complexity of μ-calculus evaluation in the black-box model

Paweł Parys (2013)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We consider μ-calculus formulas in a normal form: after a prefix of fixed-point quantifiers follows a quantifier-free expression. We are interested in the problem of evaluating (model checking) such formulas in a powerset lattice. We assume that the quantifier-free part of the expression can be any monotone function given by a black-box – we may only ask for its value for given arguments. As a first result we prove that when the lattice is fixed, the problem becomes polynomial (the assumption about...

Some results on the weak dominance relation between ordered weighted averaging operators and T-norms

Gang Li, Zhenbo Li, Jing Wang (2024)

Kybernetika

Aggregation operators have the important application in any fields where the fusion of information is processed. The dominance relation between two aggregation operators is linked to the fusion of fuzzy relations, indistinguishability operators and so on. In this paper, we deal with the weak dominance relation between two aggregation operators which is closely related with the dominance relation. Weak domination of isomorphic aggregation operators and ordinal sum of conjunctors is presented. More...

Some strongly bounded classes of Banach spaces

Pandelis Dodos, Valentin Ferenczi (2007)

Fundamenta Mathematicae

We show that the classes of separable reflexive Banach spaces and of spaces with separable dual are strongly bounded. This gives a new proof of a recent result of E. Odell and Th. Schlumprecht, asserting that there exists a separable reflexive Banach space containing isomorphic copies of every separable uniformly convex Banach space.

Some topological properties of ω -covering sets

Andrzej Nowik (2000)

Czechoslovak Mathematical Journal

We prove the following theorems: There exists an ω -covering with the property s 0 . Under c o v ( 𝒩 ) = there exists X such that ∀ B ∈ ℬ o r [ B ∩ X is not an ω -covering or X ∖ B is not an ω -covering]. Also we characterize the property of being an ω -covering.

Some variations on the partition property for normal ultrafilters on Pkl

Julius Barbanel (1993)

Fundamenta Mathematicae

Suppose κ is a supercompact cardinal and λ≥κ. In [3], we studied the relationship between the weak partition property and the partition property for normal ultrafilters on P κ λ . In this paper we study a hierarchy of properties intermediate between the weak partition property and the partition property. Given appropriate large cardinal assumptions, we show that these properties are not all equivalent.

Spaces not distinguishing convergences

Miroslav Repický (2000)

Commentationes Mathematicae Universitatis Carolinae

In the present paper we introduce a convergence condition ( Σ ' ) and continue the study of “not distinguish” for various kinds of convergence of sequences of real functions on a topological space started in [2] and [3]. We compute cardinal invariants associated with introduced properties of spaces.

Currently displaying 221 – 240 of 388