Related papers: Classical and Relative Realizability

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq…

We show that every open Riemann surface can be obtained by glueing together a countable collection of equilateral triangles, in such a way that every vertex belongs to finitely many triangles. Equivalently, it is a _Belyi surface_: There…

In this article, we generalize Eberlein's Rigidity Theorem to the singular case, namely, one of the spaces is only assumed to be a CAT(0) topological manifold. As a corollary, we get that any compact irreducible but locally reducible…

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

In this paper we show that using implicative algebras one can produce models of set theory generalizing Heyting/Boolean-valued models and realizability models of (I)ZF, both in intuitionistic and classical logic. This has as consequence…

We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple…

We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…

We generalize a result of Serre's to show that if every vertex of some fixed type of a convex subcomplex of an irreducible spherical building has an opposite, then the subcomplex is completely reducible.

Let $K$ be a complete, algebraically closed non-archimedean field with ring of integers $K^\circ$ and let $X$ be a $K$-variety. We associate to the data of a strictly semistable $K^\circ$-model $\mathscr X$ of $X$ plus a suitable horizontal…

We prove that if X, X' are closed subschemes of a torus T over a non-Archimedean field K, of complementary codimension and with finite intersection, then the stable tropical intersection along a (possibly positive-dimensional, possibly…

This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these…

Optical (or Robinson) structures are one generalisation of four-dimensional shearfree congruences of null geodesics to higher dimensions. They are Lorentzian analogues of complex and CR structures. In this context, we extend the…

We develop the theory of topoi internal to an arbitrary $\infty$-topos $\mathcal B$. We provide several characterisations of these, including an internal analogue of Lurie's characterisation of $\infty$-topoi, but also a description in…

The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs. Traditionally, these models only satisfy intuitionistic logic, however this method was extended by…

Let $K$ be a compact set in the complex plane $\C$, such that its complement in the Riemann sphere, $(\C\cup\{\infty\})\sm K$, is connected. Also, let $U\subseteq\C$ be an open set which contains $K$. Then there exists a simply connected…

Let $\phi(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $\alpha>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^{\phi}f(x)=\int_{\phi(x,y)=t} f(y) \psi(y)…

A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP$_2$ expansion of $(\mathbb{R},<,+)$ by constructible sets defines only constructible sets, and that definable…

We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…

In the setting of relative topos theory, we show that the pullback of a relative presheaf topos on an arbitrary fibration is the relative presheaf topos on its inverse image. To this end, we develop and exploit a notion of extension with…

We list special graphs of degree 4 with at most 3 vertices (atoms from the theory of integrable hamiltonian systems) which could be represented by a union of closed geodesics on the one of the following surfaces with metric of constant…