We characterize the class of RFD $C^{\ast }$-algebras as those containing a dense subset of elements that attain their norm under a finite-dimensional representation. We show further that this subset is the whole space precisely when every irreducible representation of the $C^{\ast }$-algebra is finite-dimensional, which is equivalent to the $C^{\ast }$-algebra having no simple infinite-dimensional AF subquotient. We apply techniques from this proof to show the existence of elements in more general classes of $C^{\ast }$-algebras whose norms in finite-dimensional representations fit certain prescribed properties.

Equivalences and translations between consequence relations abound in logic. The notion of equivalence can be denned syntactically, in terms of translations of formulas, and order-theoretically, in terms of the associated lattices of theories. W. Blok and D. Pigozzi proved in [4] that the two definitions coincide in the case of an algebraizable sentential deductive system. A refined treatment of this equivalence was provided by W. Blok and B. Jónsson in [3]. Other authors have extended this result to the cases of κ-deductive systems and of consequence relations on associative, commutative, multiple conclusion sequents. Our main result subsumes all existing results in the literature and reveals their common character. The proofs are of order-theoretic and categorical nature.

In this paper, we investigate projectivity in the category of operator spaces. In particular, we show that the Fourier algebra of a locally compact group $G$ is operator biprojective if and only if $G$ is discrete.