Representability of concrete categories by non-constant morphisms
Representability of recursive P. Martin-Löf tests
Representable P. Martin-Löf tests
Representación grafica del teorema de Church y Rosser
Representation and construction of homogeneous and quasi-homogeneous -ary aggregation functions
Homogeneity, as one type of invariantness, means that an aggregation function is invariant with respect to multiplication by a constant, and quasi-homogeneity, as a relaxed version, reflects the original output as well as the constant. In this paper, we characterize all homogeneous/quasi-homogeneous -ary aggregation functions and present several methods to generate new homogeneous/quasi-homogeneous -ary aggregation functions by aggregation of given ones.
Representation and duality for Hilbert algebras
In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are...
Representation of functions of two variables as sums of rectangular functions, I
Representation of Hilbert algebras and implicative semilattices
In this paper we shall give a topological representation for Hilbert algebras that extend the topological representation given by A. Diego in [4]. For implicative semilattices this representation gives a full duality. We shall also consider the representation for Boolean ring.
Representation of logic formulas by normal forms
In this paper, we deal with the disjunctive and conjunctive normal forms in the frame of predicate BL-logic and prove theirs conditional equivalence to appropriate formulas. Our aim is to show approximation ability of special normal forms defined by means of reflexive binary predicate.
Representation of Łukasiewicz and Post algebras by continuous functions
Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.
Representation of observables in quantum mechanical models
Representation theorem for finite quasi-boolean algebras
Representation Theorem for Minimal -Algebras
Representation-directed algebras form an open scheme
We apply van den Dries's test to the class of algebras (over algebraically closed fields) which are not representation-directed and prove that this class is axiomatizable by a positive quantifier-free formula. It follows that the representation-directed algebras form an open ℤ-scheme.
Representation-finite triangular algebras form an open scheme
Let V be a valuation ring in an algebraically closed field K with the residue field R. Assume that A is a V-order such that the R-algebra Ā obtained from A by reduction modulo the radical of V is triangular and representation-finite. Then the K-algebra KA ≅ A ⊗V is again triangular and representation-finite. It follows by the van den Dries’s test that triangular representation-finite algebras form an open scheme.
Representations of Orlicz lattices [Book]
Representations of Reals in Reverse Mathematics
Working in the framework of reverse mathematics, we consider representations of reals as rapidly converging Cauchy sequences, decimal expansions, and two sorts of Dedekind cuts. Converting single reals from one representation to another can always be carried out in RCA₀. However, the conversion process is not always uniform. Converting infinite sequences of reals in some representations to other representations requires the use of WKL₀ or ACA₀.
Representations of synonymy and antonymy by automorphisms in fuzzy set theory.
Structures of automorphisms and automorphism groups in fuzzy set theory are studied in detail in view of applications to synonymy and antonymy representations.
Representations of the direct product of matrix algebras
Suppose B is a unital algebra which is an algebraic product of full matrix algebras over an index set X. A bijection is set up between the equivalence classes of irreducible representations of B as operators on a Banach space and the σ-complete ultrafilters on X (Theorem 2.6). Therefore, if X has less than measurable cardinality (e.g. accessible), the equivalence classes of the irreducible representations of B are labeled by points of X, and all representations of B are described (Theorem 3.3).