Related papers: Positive model theory and infinitary logic

We derive positivity bounds on low energy effective field theories which admit gapped, analytic, unitary, Lorentz invariant, and possibly non-local UV completions, by considering 2 to 2 scatterings of Jaffe fields whose…

The interplay between the two fundamental concepts of topological order and reflection positivity allows one to characterize the ground states of certain many-body Hamiltonians. We define topological order in an appropriate fashion and show…

In this note, we answer positively a question by Belegradek and Kapovitch about the relation between rational homotopy theory and a problem in Riemannian geometry which asks that total spaces of which vector bundles over compact nonnegative…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

The Euler characteristic is the only additive topological invariant for spaces of certain sort, in particular, for manifolds with some finiteness properties. A generalization of the notion of a manifold is the notion of a V-manifold. Here…

We study homeomorphisms of compact metric spaces whose restriction to the nonwandering set has the pseudo-orbit tracing property. We prove that if there are positively expansive measures, then the topological entropy is positive. Some short…

We initiate the study of positive geometry and scattering forms for tree-level amplitudes with matter particles in the (anti-)fundamental representation of the color/flavor group. As a toy example, we study the bi-color scalar theory, which…

Building on previous works by Bilu, Chambert-Loir and Loeser, we study the asymptotic behaviour of the moduli space of sections of a given family over a smooth projective curve, assuming that the generic fiber is an equivariant…

We describe a class of topological field theories called ``balanced topological field theories.'' These theories are associated to moduli problems with vanishing virtual dimension and calculate the Euler character of various moduli spaces.…

This paper establishes model-theoretic properties of $\mathrm{FOE}^{\infty}$, a variation of monadic first-order logic that features the generalised quantifier $\exists^\infty$ (`there are infinitely many'). We provide syntactically defined…

In this paper, we establish compactness for various geometric curvature energies including integral Menger curvature, and tangent-point repulsive potentials, defined a priori on the class of compact, embedded $m$-dimensional Lipschitz…

Let $S(C_0(X))^+$ and $S(C_0(Y))^+$ denote the positive parts of the unit spheres of $C_0(X)$ and $C_0(Y)$, where $X$ and $Y$ are locally compact Hausdorff spaces. We prove that every surjective isometry from $S(C_0(X))^+$ onto…

The space of positively curved hermitian metrics on a positive holomorphic line bundle over a compact complex manifold is an infinite-dimensional symmetric space. It is shown by Phong and Sturm that geodesics in this space can be uniformly…

In this paper we propose a new treatment about infinite dimensional manifolds, using the language of category and functor. Our definition of infinite dimensional manifolds is a natural generalization of finite dimensional manifolds in the…

We show that for the standard map family, for all values of the parameter, except one, the mapping has positive topological entropy. The main tool is the following result. Let $S$ be a compact connected orientable surface and $f:S…

This thesis consists of two parts which share only a slight overlap. The first part is concerned with the study of ideals in the ring $C^\infty(M,R)$ of smooth functions on a compact smooth manifold M or more generally submodules of a…

This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework…

Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…

A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup…

Using the wedge sum of metric spaces, for all compact metrizable spaces, we construct a topological embedding of the compact metrizable space into the set of all metric trees in the Gromov--Hausdorff space with finite prescribed values. As…