Related papers: Model theory, differential algebra and functional …
In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of…
We explore various formality and finiteness properties in the differential graded algebra models for the Sullivan algebra of piecewise polynomial rational forms on a space. The 1-formality property of the space may be reinterpreted in terms…
Reconsideration of the T-duality of the open string allows us to introduce some geometric features in non-geometric theories. First, we have found what symmetry is T-dual to the local gauge transformations. It includes transformations of…
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
We argue that some features of the standard model, in particular the fermion assignment and symmetry breaking, can be obtained in matrix model which describes noncommutative gauge theory as well as gravity in an emergent way. The mechanism…
We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II$_1$…
The purpose of this paper is to explain how the identities of various fundamental lemmas fall within the scope of the transfer principle, a general result that allows to transfer theorems about identities of p-adic integrals from one…
In this paper we introduce a model theoretic construction for the theories of uniform layered domains and semifields introduced in the paper of Izhakian, Knebusch and Rowen. We prove that, for a given layering semiring L, the theory of…
In this paper, we develop the deformation theory controlled by pre-Lie algebras; the main tool is a new integration theory for pre-Lie algebras. The main field of application lies in homotopy algebra structures over a Koszul operad; in this…
The aim of this review is to present an overview over available models and approaches to non-commutative gauge theory. Our main focus thereby is on gauge models formulated on flat Groenewold-Moyal spaces and renormalizability, but we will…
The well-known geometric approach to field theory is based on description of classical fields as sections of fibred manifolds, e.g. bundles with a structure group in gauge theory. In this approach, Lagrangian and Hamiltonian formalisms…
In the present paper we introduce a hierarquical class of self-dual models in three dimensions, inspired in the original self-dual theory of Towsend-Pilch-Nieuwenhuizen. The basic strategy is to explore the powerful property of the duality…
While the fundamental object in Riemannian geometry is a metric, closed string theories call for us to put a two-form gauge field and a scalar dilaton on an equal footing with the metric. Here we propose a novel differential geometry which…
In this paper, we present a review of the canonical structure of field theories defined on manifolds with time-like boundaries. The notion of differentiable generator is shown to be a requirement coming from the consistency of the…
We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…
We construct a new class of two-dimensional field theories with target spaces that are finite multiparameter deformations of the usual coset G/H-spaces. They arise naturally, when certain models, related by Poisson-Lie T-duality, develop a…
Associated to any affine space A endowed with a metric structure of arbitrary signature we consider the space of affine functionals operating on the space of quadratic functions of A. On this functional space we characterize a symmetric…
This presentation is intended to give a flavour of the physics to be studied and discovered by exploiting the interface between string theory, M-theory and field theory provided by the dynamics of extended objects called `branes', and their…
This paper is a study of first-order coherent logic from the point of view of duality and categorical logic. We prove a duality theorem between coherent hyperdoctrines and open polyadic Priestley spaces, which we subsequently apply to prove…
Estimating the coefficient functionals on various classes of holomorphic functions traditionally forms an important field of geometric complex analysis and its mathematical and physical applications. These coefficients reflect fundamental…