Some results about exponential fields (survey)
Some results on complexity of μ-calculus evaluation in the black-box model
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
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 set-theoretic constructions in topology
Some simple decidability proofs
Some Special Properties of Cofinality of Ordinal Numbers.
Some strongly bounded classes of Banach spaces
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 structure theorems for inverse ω-semigroups
Some Theorems For Model Theory Of Mixed-Valued Predicate Calculi
Some theorems on vector spaces and the axiom of choice
Some topological consequences of the Product Measure Extension Axiom
Some topological properties of -covering sets
We prove the following theorems: There exists an -covering with the property . Under there exists such that is not an -covering or is not an -covering]. Also we characterize the property of being an -covering.
Some undecidable theories with monadic predicates and without equality.
Some uniformization results
Some variations on the partition property for normal ultrafilters on Pkl
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 . 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.
Sorts Of Huge Cardinals
Současný stav ve výzkumu základů matematiky
Souslin-Klееnе does not imply Beth
Spaces not distinguishing convergences.
Spaces not distinguishing convergences
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.