Related papers: Imaginaries and invariant types in existentially c…
We extend the effective field theory of inflation to a general Lagrangian constructed from Arnowitt-Deser-Misner variables that encompasses the most general interactions with up to second derivatives of the scalar field whose background…
Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter represents meaning as vectors in high-dimensional spaces shaped…
A new approach to the semantics of identity types in intensional Martin-L\"of type theory is proposed, assuming only a category with finite limits and an interval. The specification of \emph{extensional} identity types in the original…
Using Maccaferri's formula, we derive new wedge based solutions of open string field theory. The solutions are gauge equivalent to the Takahashi-Tanimoto scalar solutions. The classical action and the gauge invariant overlap are evaluated…
Using standard analysis only, we present an extension ${^\bullet\R}$ of the real field containing nilpotent infinitesimals. On the one hand we want to present a very simple setting to formalize infinitesimal methods in Differential…
A direct reformulation of the Hamiltonian formalism in terms of the intrinsic geometry of infinitely prolonged differential equations is obtained. Concepts of spatial equation and spatial-gauge symmetry of a Lagrangian system of equations…
We introduce the theory $\mathrm{PF}^{+,\times}$ of pseudofinite fields with generic additive and multiplicative character added as continuous logic predicates. Using the Weil bounds on character sums over finite fields as well as the…
We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite…
This paper concerns the model theory of jet spaces (i.e., higher-order tangent spaces) in differentially closed fields. Suppose p is the generic type of the jet space to a finite dimensional differential-algebraic variety at a generic…
The paper proves the intermediate value theorem for polynomials and power series over a valued field with divisible valuation group and infinite residue field. Some further results on the behaviour of the valuation are obtained using…
Let $(K;+,\cdot, ', 0, 1)$ be a differentially closed field. In this paper we explore the connection between Ax-Schanuel type theorems (predimension inequalities) for a differential equation $E(x,y)$ and the geometry of the set $U:=\{…
We show how to extend the theory of generalized Reynolds ideals, as introduced by B. K"ulshammer, from symmetric algebras to arbitrary finite-dimensional algebras (in positive characteristic). This provides new invariants of the derived…
We investigate the property of elimination of imaginaries for some special cases of ordered abelian groups. We show that certain Hahn products of ordered abelian groups do not eliminate imaginaries in the pure language of ordered groups.…
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the…
Generally, quantum field theories can be thought as deformations away from conformal field theories. In this article, with a simple bottom up model assumed to possess a holographic description, we study a putative large N quantum field…
New constructions in the theory of fields for multiple integrals are designed. Generalizations of the Legendre - Weyl - Caratheodory transforms and corresponding invariant integrals are introduced and explored. Connection and curvature of…
We develop geometry of affine algebraic varieties in $K^{n}$ over Henselian rank one valued fields $K$ of equicharacteristic zero. Several results are provided including: the projection $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ and…
For important cases of algebraic extensions of valued fields, we develop presentations of the associated K\"ahler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind…
We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…