Related papers: Hanf Locality and Invariant Elementary Definabilit…
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…
We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of an additional successor relation on the structure is allowed, as long as the validity of formulas is…
It is well known that general relativity (GR) does not possess any non-trivial local (in a precise standard sense) and diffeomorphism invariant observables. We propose a generalized notion of local observables, which retain the most…
We study underlying geometric structures for integral variational functionals, depending on submanifolds of a given manifold. Applications include (first order) variational functionals of Finsler and areal geometries with integrand the…
In this paper we suggest a new general formalism for studying the invariants of polyhedra and manifolds comming from the theory of von Neumann algebras. First, we examine generality in which one may apply the construction of the extended…
Machine learning methods can be unreliable when deployed in domains that differ from the domains on which they were trained. There are a wide range of proposals for mitigating this problem by learning representations that are ``invariant''…
We investigate the notions of \emph{localization} and \emph{filtration} in the context of extended affine Lie algebras. Our primary objective is to develop a localization theory that facilitates the construction of meaningful local…
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…
We study first-order logic (FO) over the structure consisting of finite words over some alphabet $A$, together with the (non-contiguous) subword ordering. In terms of decidability of quantifier alternation fragments, this logic is…
Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, but not actually…
There are various types of global and local spacetime invariant in general relativity. Here I focus on the local invariants obtainable from the curvature tensor and its derivatives. The number of such invariants at each order of…
First-order logic is known to have limited expressive power over finite structures. It enjoys in particular the locality property, which states that first-order formulae cannot have a global view of a structure. This limitation ensures on…
We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem…
We explore indefinite causal order between events in the context of quasiclassical spacetimes in superposition. We introduce several new quantifiers to measure the degree of indefiniteness of the causal order for an arbitrary finite number…
We introduce the notions of definable amenability and extreme definable amenability for groups in continuous structures and conduct an extensive analysis of them, drawing parallels with the classical first-order case. We characterize both…
In the special theory of relativity, Lorentz invariance is extended in Minkowski spacetime from ideal inertial observers to actual observers by means of the hypothesis of locality, which postulates that accelerated observers are always…
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…
We introduce the concept of a class of graphs, or more generally, relational structures, being locally tree-decomposable. There are numerous examples of locally tree-decomposable classes, among them the class of planar graphs and all…
We define criteria for a hidden variables theory to be Lorentz invariant and prove that it implies no signaling. As a result, we show that a Lorentz invariant and contextual theory (e.g., quantum field theory) must be genuinely stochastic,…
Order-invariant first-order logic is an extension of first-order logic FO where formulae can make use of a linear order on the structures, under the proviso that they are order-invariant, i.e. that their truth value is the same for all…