We prove that all proper rigid-analytic spaces with “enough” algebraically independent meromorphic functions are algebraic (in the sense of proper algebraic spaces). This is a non-archimedean analogue of a result of Artin over C.

The main contribution of this work is twofold. It presents a modular tableau calculus, in the free-variable style, treating the main domain variants of quantified modal logic and dealing with languages where rigid and non-rigid designation can coexist. The calculus uses, to this end, light and simple semantical annotations. Such a general proof-system results from the fusion into a unified fram...

Superconformal field theory with $\mathcal{N}=2$ supersymmetry in four dimensional spacetime provides a prime playground to study strongly coupled phenomena quantum theory. Its rigid structure ensures valuable analytic control over non-perturbative effects, yet the is still flexible enough incorporate large landscape of systems. Here we aim offer guidebook fundamental features 4d superconformal...

Rigid E -unification is the problem of unifying two expressions modulo a set of equations, with the assumption that every variable denotes exactly one term (rigid semantics). This form of unification was originally developed as an approach to integrate equational reasoning in tableau-like proof procedures, and studied extensively in the late 80s and 90s. However, the fact that simultaneous rigi...

One of the main subtleties of non-Archimedean analysis is that the natural topology that one puts on non-Archimedean analytic spaces is totally disconnected, meaning that there is a base for the topology consisting of sets which are both open and closed. This makes it difficult, for instance, to define a good notion of analytic function so that one has analytic continuation properties. Of cours...