Based on the notion of $Q$-sup-lattices (a fuzzy counterpart of complete join-semilattices valuated in a commutative quantale), we present the concept of $Q$-sup-algebras -- $Q$-sup-lattices endowed with a collection of finitary operations compatible with the fuzzy joins. Similarly to the crisp case investigated in cite{zhang-laan}, we characterize their subalgebras and quotients, and following...

Let A be a von Neumann algebra acting in a separable complex Hilbert space H and let A be the set of all orthogonal projections (=idempotents) from A. A subset M ⊆ A is said to be ideal of projections if: a) p ≤ q where p ∈ A, q ∈ M ⇒ p ∈ M; b) p, q ∈ M and ‖pq‖ < 1 ⇒ p ∨ q ∈ M; c) sup{p : p ∈ M} = I. Put Mp := {q : q ∈ M, q ≤ p}, ∀p ∈ A . Note that A is the ideal of projections, 0 ∈ Mp, ∀p, an...

Let be a C∗-algebra with identity 1, and let s( ) denote the set of all states on . For p,q,r ∈ [1,∞), denote by r( ) the set of all infinite matrices A= [ajk]j,k=1 over such that the matrix (φ[A[2]]) [r] := [(φ(ajkajk))]j,k=1 defines a bounded linear operator from p to q for all φ∈ s( ). Then r( ) is a Banach algebra with the Schur product operation and norm ‖A‖ = sup{‖(φ[A[2]])‖ : φ∈ s( )}. A...

For each triple of positive numbers p,q,r ≥ 1 and each commutative C-algebra with identity 1 and the set s( ) of states on , the set r ( ) of all matrices A = [ajk] over such that φ[A [r] ] := [φ(|ajk|r )] defines a bounded operator from p to q for all φ ∈ s( ) is shown to be a Banach algebra under the Schur product operation, and the norm ||A|| = |||A|||p,q,r = sup{||φ[A[r] ]||1/r : φ ∈ s( )}....

Let p be a prime > 3 and consider the Tate algebra A := Q p z defined to be the Banach algebra of formal power series over Q p that converge on the closed unit disk B[0, 1] ⊆ C p with the supremum norm ||f || := sup z∈B[0,1] |f (z)| for f ∈ A. Equivalently, we have (0.1) A = f (z) = ∞ k=0 a k z k a k ∈ Q p and lim k→∞ a k = 0 and the norm is given by (0.2) ||f || = sup k |a k |, for f = ∞ k=0 a...

The approach to process semantics using quantales and modules is topologized by considering tropological systems whose sets of states are replaced by locales and which satisfy a suitable stability axiom. A corresponding notion of localic suplattice (algebra for the lower powerlocale monad) is described, and it is shown that there are contravariant functors from sup-lattices to localic sup-latic...

This paper studies the behavior of sequences in the maximal ideal space of the algebra of bounded analytic functions on an arbitrary domain. The main result states that for any such sequence, either the sequence has an interpolating subsequence or infinitely many elements of the sequence lie in the same Gleason part. Introduction Fix a positive integer N and fix a nonempty open subset Q. of C ....

This paper studies the behavior of sequences in the maximal ideal space of the algebra of bounded analytic functions on an arbitrary domain. The main result states that for any such sequence, either the sequence has an interpolating subsequence or infinitely many elements of the sequence lie in the same Gleason part. Introduction Fix a positive integer N and fix a nonempty open subset Q. of C ....

0

We prove that every strictly positive endofunctor on the category of sets generated by Martin-LL of's extensional type theory has an initial algebra. This representation of inductively deened sets uses essentially the wellorderings introduced by Martin-LL of in \Constructive Mathematics and Computer Programming". 1 Background Martin-LL of 10] introduced a general set former for wellorderings in...