Related papers: An Introduction To Continuous Model Theory
The present article contains a short introduction to Modular Theory for von Neumann algebras with a cyclic and separating vector. It includes the formulation of the central result in this area, the Tomita-Takesaki theorem, and several of…
Some examples of three-dimensional metrics of constant curvature defined by solutions of nonlinear integrable differential equations and their generalizations are constructed. The properties of Riemann extensions of the metrics of constant…
In the first part of my talk I will explain a solution to the extension of Lie's problem on classification of "local continuous transformation groups of a finite-dimensional manifold" to the case of supermanifolds. (More precisely, the…
We study correspondences of tracial von Neumann algebras from the model-theoretic point of view. We introduce and study an ultraproduct of correspondences and use this ultraproduct to prove, for a fixed pair of tracial von Neumann algebras…
These lectures provide an introduction to the basic aspects of the Standard Model, $SU(3)_{C} \times SU(2)_{L} \times U(1)_{Y}$.
We prove analogues of model theory results for $\mathcal{C}\to \mathcal{D}$ coherent functors, including variants of the omitting types theorem and some results on ultraproduct constructions. We introduce a distributive lattice valued…
We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog…
The survey contains a brief description of the ideas, constructions, results, and prospects of the theory of hypergroups and generalized translation operators. Representations of hypergroups are considered, being treated as continuous…
Mathematical modelling allows us to concisely describe fundamental principles in biology. Analysis of models can help to both explain known phenomena, and predict the existence of new, unseen behaviours. Model analysis is often a complex…
The notion of a subproduct system, a generalization of that of a product system, is introduced. We show that there is an essentially 1 to 1 correspondence between cp-semigroups and pairs (X,T) where X is a subproduct system and T is an…
We study some general properties of tracial C*-algebras. In the first part, we consider Dixmier type approximation theorem and characterize symmetric amenability for C*-algebras. In the second part, we consider continuous bundles of tracial…
In this paper we explore a generic notion of superrigidity for von Neumann algebras $L(G)$ and reduced $C^*$-algebras $C^*_r(G)$ associated with countable discrete groups $G$. This allows us to classify these algebras for various new…
We introduce unitary representations of continuous groupoids on continuous fields of Hilbert spaces. We investigate some properties of these objects and discuss some of the standard constructions from representation theory in this…
We introduce a relative tensor product of $C^{*}$-modules and a spatial fiber product of $C^{*}$-algebras that are analogues of Connes' fusion of correspondences and the fiber product of von Neumann algebras introduced by Sauvageot,…
In this work we construct from ground up a homotopy theory of C*-algebras. This is achieved in parallel with the development of classical homotopy theory by first introducing an unstable model structure and second a stable model structure.…
In a recent paper of the first author and Kashyap, a new class of modules over dual operator algebras is introduced. These generalize the W*-modules (that is, Hilbert C*-modules over a von Neumann algebra which satisfy an analogue of the…
We propose a new framework that generalizes the parameters of neural network models to $C^*$-algebra-valued ones. $C^*$-algebra is a generalization of the space of complex numbers. A typical example is the space of continuous functions on a…
We introduce the notion of a C*-valued weight between two C*-algebras as a generalization of an ordinary weight on a C*-algebra and as a C*-version of operator valued weights on von Neumann algebras. Also, some form of lower semi-continuity…
We pursue the study of Ultracategories initiated by Makkai and more recently Lurie by looking at properties of Ultracategories of complete metric structures, i.e. coming from continuous model theory, instead of ultracategories of models of…
We give a self-contained introduction to accessible categories and how they shed light on both model- and set-theoretic questions. We survey for example recent developments on the study of presentability ranks, a notion of cardinality…