Related papers: Model theoretic properties of metric valued fields
In this paper, we first discussed multiplicative metric mapping by giving some topological properties of the relevant multiplicative metric space. As an interesting result of our discussions, we observed that the set of positive real…
We consider the complexity (in terms of the arithmetical hierarchy) of the various quantifier levels of the diagram of a computably presented metric structure. As the truth value of a sentence of continuous logic may be any real in $[0,1]$,…
Rational conformal field theories produce a tower of finite-dimensional representations of surface mapping class groups, acting on the conformal blocks of the theory. We review this formalism. We show that many recent mathematical…
Graded vector bundles over a given $\mathbb{Z}$-graded manifold can be defined in three different ways: certain sheaves of graded modules over the structure sheaf of the base graded manifold, finitely generated projective graded modules…
We provide a definition of POVM in terms of abstract tensor structure only. It is justified in two distinct manners. i. At this abstract level we are still able to prove Naimark's theorem, hence establishing a bijective correspondence…
The space of Minkowski valuations on an m-dimensional complex vector space which are continuous, translation invariant and contravariant under the complex special linear group is explicitly described. Each valuation with these properties is…
The purpose of this paper is to put the description of number scaling and its effects on physics and geometry on a firmer foundation, and to make it more understandable. A main point is that two different concepts, number and number value…
Near-vector spaces extend linear algebra tools to non-linear algebraic structures, enabling the study of non-linear problems. However, explicit constructions remain rare. This paper introduces a broad computable family of near-vector…
Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their…
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…
We introduce an abstract framework to study certain classes of stably embedded pairs of models of a complete $\mathcal{L}$-theory $T$, called \textit{beautiful pairs}, which comprises Poizat's belles paires of stable structures and van den…
During the last century the tensor theory of the gravitational field was developed. We propose and develop the novel, pure mathematical, matrix theory of the field in n-dimensional metric space. The definition of the mathematical field…
Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…
Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field, presented as a path algebra modulo relations; further, assume that $\Lambda$ is graded by lengths of paths. The paper addresses the classifiability, via…
We give an indication that gravity coupled to an infinite number of fields might be a renormalizable theory. A toy model with an infinite number of interacting fermions in four-dimentional space-time is analyzed. The model is finite at any…
The rational, real and complex numbers with their standard operations, including division, are partial algebras specified by the axiomatic concept of a field. Since the class of fields cannot be defined by equations, the theory 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…
Abraham Robinson's method for finding model completions is refined and and generalized for model companions and is applied to the theory of fields equipped with both a valuation and an automorphism.
Affine structures on a Lie groupoid, including affine $k$-vector fields, $k$-forms and $(p,q)$-tensors are studied. We show that the space of affine structures is a 2-vector space over the space of multiplicative structures. Moreover, the…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…