A method for constructing some endomorphic universes
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
A minimal model for strong analysis
A modal logic of consistency
A model for barrecursion of higher types
A model for HAS. A topological interpretation of the theory of species of natural numbers
A Model of Intuitionistic Analysis.
A model-theoretic Baire category theorem for simple theories and its applications
We prove a model-theoretic Baire category theorem for -sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially 1-based by means of the forking topologies, or T interprets an infinite definable 1-based group of finite D-rank or T interprets a strongly minimal formula.
A model-theoretic transfer theorem for henselian valued fields.
A modification of Newton's method
A Multiplication Of M-Relations
A multiplication of m-relations.
A multivariate interlace polynomial and its computation for graphs of bounded clique-width.
A N. Bourbaki type general theory and the properties of contracting symbols and corresponding contracted forms.
A new approach for studying fuzzy functional equations.
A new approach to chordal graphs
By a chordal graph is meant a graph with no induced cycle of length . By a ternary system is meant an ordered pair , where is a finite nonempty set, and . Ternary systems satisfying certain axioms (A1)–(A5) are studied in this paper; note that these axioms can be formulated in a language of the first-order logic. For every finite nonempty set , a bijective mapping from the set of all connected chordal graphs with onto the set of all ternary systems satisfying the axioms (A1)–(A5) is...
A new approach to construct uninorms via uninorms on bounded lattices
In this paper, on a bounded lattice , we give a new approach to construct uninorms via a given uninorm on the subinterval (or ) of under additional constraint conditions on and . This approach makes our methods generalize some known construction methods for uninorms in the literature. Meanwhile, some illustrative examples for the construction of uninorms on bounded lattices are provided.
A new approach to representation of observables on fuzzy quantum posets
We give a representation of an observable on a fuzzy quantum poset of type II by a pointwise defined real-valued function. This method is inspired by that of Kolesárová [6] and Mesiar [7], and our results extend representations given by the author and Dvurečenskij [4]. Moreover, we show that in this model, the converse representation fails, in general.
A new class of weakly countably determined Banach spaces
A class of Banach spaces, countably determined in their weak topology (hence, WCD spaces) is defined and studied; we call them strongly weakly countably determined (SWCD) Banach spaces. The main results are the following: (i) A separable Banach space not containing ℓ¹(ℕ) is SWCD if and only if it has separable dual; thus in particular, not every separable Banach space is SWCD. (ii) If K is a compact space, then the space C(K) is SWCD if and only if K is countable.