Related papers: Cofinality quantifiers in Abstract Elementary Clas…
By the quantization condition compact quantizable Kaehler manifolds can be embedded into projective space. In this way they become projective varieties. The quantum Hilbert space of the Berezin-Toeplitz quantization (and of the geometric…
A unified formalism was developed in [S. Adhikary et. al., arXiv:1710.04371 [quant-ph]], for describing non-classicality of states by introducing pseudo projection operators in which both quantum logic and quantum probability are naturally…
These lectures are an introduction to formal semiclassical quantization of classical field theory. First we develop the Hamiltonian formalism for classical field theories on space time with boundary. It does not have to be a cylinder as in…
Let L be a quantifier predicate logic. Let K be a class of algebras. We say that K is sensitive to L, if there is an algebra in K, that is L interpretable into an another algebra, and this latter algebra is elementary equivalent to an…
Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…
We present covariant quantization rules for nonsingular finite dimensional classical theories with flat and curved configuration spaces. In the beginning, we construct a family of covariant quantizations in flat spaces and Cartesian…
We present an abstract result that characterizes the coincidence of certain classes of linear operators with the class of Cohen strongly summing linear operators. Our argument is extended to multilinear operators and, as a consequence, we…
Let K be an abstract elementary classes which has arbitrarily large models and satisfies the amalgamation and joint embedding properties. Theorem 1. Suppose K is \chi-tame. If K is categorical in some \lambda^+ >LS(K) then it is categorical…
We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for the classical quaternions, octonions, as well as other…
We study versions of limit models adapted to the context of *metric abstract elementary classes*. Under categoricity and superstability-like assumptions, we generalize some theorems from [GrVaVi]. We prove criteria for existence and…
We define a convenient $\infty$-operad parametrizing modules over commutative algebras in $\infty$-categories.
Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at…
We provide a short proof of Shelah's eventual categoricity conjecture, assuming the Generalized Continuum Hypothesis ($GCH$), for abstract elementary classes (AEC's) with interpolation, a strengthening of amalgamation which is a necessary…
Consider an a.e.c. (abstract elementary class), that is, a class K of models with a partial order refining inclusion (submodel) which satisfy the most basic properties of an elementary class. Our test question is trying to show that the…
Positive logic is a generalisation of full first-order logic that does not have negation built in. Still, many model-theoretic ideas, tools and techniques work perfectly fine in positive logic. Importantly, there is a compactness theorem.…
In this paper, we justify and make precise an elementary approach that establishes the existence of (co)limits in $\mathbf{Cat}$. This approach, while conceptually evident, has not been made fully explicit or systematically described in the…
We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial…
We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale modules in the wake of previous works by the present and other authors. We also describe…
Logical frameworks provide natural and direct ways of specifying and reasoning within deductive systems. The logical framework LF and subsequent developments focus on finitary proof systems, making the formalization of circular proof…
We show that certain classes of modules have universal models with respect to pure embeddings. $Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$…