Related papers: Lifschitz Realizability as a Topological Construct…
The theory of classical realizability is a framework in which we can develop the proof-program correspondence. Using this framework, we show how to transform into programs the proofs in classical analysis with dependent choice and the…
This is the author's Ph.D. Thesis. It contains results from four years of research into realizability and categorical logic. The main subjects are the axiomatisation of realizable propositions, and a characterization of realizability…
We study the structural regularities and irregularities of the reals in inner models of set theory. Starting with $L$, G\"{o}del's constructible universe, our study of the reals is thus two-fold. On the one hand, we study how their…
The trustworthiness of modern networked services is too important to leave to chance. We need to design these services with specific properties in mind, and verify that the properties hold. In this paper, we argue that a compositional…
We give some new methods, based on Lipschitz extension theorems, for bounding filling invariants of subsets of nonpositively curved spaces. We apply our methods to find sharp bounds on higher-order Dehn functions of Sol_{2n+1}, horospheres…
We fix an excellent regular noetherian scheme $S$ over ${\mathbf Z}_{(p)}$ satisfying a certain finiteness condition. For a constructible \'etale sheaf ${\cal F}$ on a regular scheme $X$ of finite type over $S$, we introduce a variant of…
In this article, we establish necessary and sufficient viability conditions for continuity inclusions over the 1-Wasserstein space. Depending on the regularity properties of the dynamics, we derive two results which are based on fairly…
This note details how a recent structure theorem for normal $1$-currents proved by the first and third author allows to prove a conjecture of Cheeger concerning the structure of Lipschitz differentiability spaces. More precisely, we show…
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…
We realize several combinatorial Hopf algebras based on set compositions, plane trees and segmented compositions in terms of noncommutative polynomials in infinitely many variables. For each of them, we describe a trialgebra structure, an…
In the present paper, a systematic study is made of quantitative semicontinuity (a.k.a. Lipschitzian) properties of certain multifunctions, which are defined as a solution map associated to a family of parameterized ``split" feasibility…
Standpoint linear temporal logic SLTL is a recent formalism able to model possibly conflicting commitments made by distinct agents, taking into account aspects of temporal reasoning. In this paper, we analyse the computational properties of…
In this thesis we explore natural procedures through which topological structure can be constructed from specific semigroups. We will do this in two ways: 1) we equip the semigroup object itself with a topological structure, and 2) we find…
We introduce a novel technique for checking reachability in Petri nets that relies on a recently introduced compositional algebra of nets. We prove that the technique is correct, and discuss our implementation. We report promising…
We discuss the problem of deciding when a metrisable topological group $G$ has a canonically defined local Lipschitz geometry. This naturally leads to the concept of minimal metrics on $G$, that we characterise intrinsically in terms of a…
This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…
Given an o-minimal structure, we show that every definable (in this structure) mapping that is Lipschitz with respect to the inner metric can be approximated by $\mathscr{C}^1$ mappings that are Lipschitz with respect to the inner metric…
According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of…
Place/transition Petri nets are a standard model for a class of distributed systems whose reachability spaces might be infinite. One of well-studied topics is the verification of safety and liveness properties in this model; despite the…
We use the theory of dual of Fr\'echet-Schwartz (DFS) spaces to establish a sufficient condition for top-degree solvability for the differential complex associated to a hypocomplex locally integrable structure. As an application, we show…