Free biholomorphic functions and operator model theory, II

Model Theory of Operator Algebras Ii: Model Theory

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails.

Constrained Multivariable Operator Theory Ii

Operator Theory on Noncommutative Varieties Ii

The proof theory and semantics of operator-free simulation language

Humans can at least apparently conduct deductive reasoning. Various logical inference systems have been developed in order to characterize such human reasoning. The strength of such a properly logical analysis of human reasoning lies in its productivity and predictive power; it enables the theorist to define precisely which data-space the theory covers and then mathematically prove that the the...

Operator Theory and Operator Algebras