Related papers: Positive model theory of interpretations
We obtain off-critical (elliptic) Boltzmann weights for lattice models whose continuum limits correspond to massive, $N=2$ supersymmetric, quantum integrable field theories. We also compute the free energies of these models and show that…
We develop a theory of Hilbert $\widetilde{\C}$-modules by investigating their structural and functional analytic properties. Particular attention is given to finitely generated submodules, projection operators, representation theorems for…
The famous equivalence theorem is reexamined in order to make it applicable to the case of intrinsically quantum infinite-component effective theories. We slightly modify the formulation of this theorem and prove it basing on the notion of…
We characterise non-distributive positive logic as the fragment of a single-sorted first-order language that is preserved by a new notion of simulation called a meet-simulation. Meet-simulations distinguish themselves from simulations…
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…
We review the construction of exactly solvable lattice models whose continuum limits are $N=2$ supersymmetric models. Both critical and off-critical models are discussed. The approach we take is to first find lattice models with natural…
Transfer systems on finite posets have recently been gaining traction as a key ingredient in equivariant homotopy theory. Additionally, they also naturally occur in the data of a model structure. We give a complete characterization of all…
We introduce the notion of positive local combinatorial dividing-lines in model theory. We show these are equivalently characterized by indecomposable algebraically trivial Fraisse classes and by complete prime filter classes. We exhibit…
In this paper, a new invariant was built towards the classification of separable C*-algebras of real rank zero, which we call latticed total K-theory. A classification theorem is given in terms of such an invariant for a large class of…
By a rectangular distributive lattice we mean the direct product of two non-singleton finite chains. We prove that the retracts (ordered by set inclusion and together with the empty set) of a rectangular distributive lattice $G$ form a…
We show the vanishing of higher extension groups and torsion groups between linearisation of additive functors from a semi-additive category satisfying some conditions to a category of vector spaces. In particular, we apply our results to…
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…
We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the…
This work originates from the observation that today's state-of-the-art statistical language models are impressive not only for their performance, but also - and quite crucially - because they are built entirely from correlations in…
We develop a theory of Goodwillie calculus for functors between $G$-equivariant homotopy theories, where $G$ is a finite group. We construct $J$-excisive approximations of a homotopy functor for any finite $G$-set $J$. These fit together…
We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…
In this partly expository paper we compare three different categories of C*-algebras in which crossed-product duality can be formulated, both for actions and for coactions of locally compact groups. In these categories, the isomorphisms…
With the increasing empirical success of distributional models of compositional semantics, it is timely to consider the types of textual logic that such models are capable of capturing. In this paper, we address shortcomings in the ability…
If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical…
We show that natural noncommutative gauge theory models on $\mathbb{R}^3_\lambda$ can accommodate gauge invariant harmonic terms, thanks to the existence of a relationship between the center of $\mathbb{R}^3_\lambda$ and the components of…