Related papers: Borel and analytic sets in locales

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…

In the context of 'infinite-volume mixing' we prove global-local mixing for the Boole map, a.k.a. Boole transformation, which is the prototype of a non-uniformly expanding map with two neutral fixed points. Global-local mixing amounts to…

We prove several improved versions of the Borel-Ritt theorem about the surjectivity of the asymptotic Borel mapping in classes of functions with $\boldsymbol{M}$-uniform asymptotic expansion on an unbounded sector of the Riemann surface of…

Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of…

Causal set theory is an intrinsically nonlocal approach to quantum gravity, inheriting its nonlocality from Lorentzian nonlocality. This nonlocality causes problems in defining differential operators -- such as the d'Alembert operator, a…

In the paper we introduce a new family of "small" sets which is tightly connected with two well known $\sigma$-ideals: of Haar-null sets and of Haar-meager sets. We define a subset $A$ of a topological group $X$ to be…

In this paper it is shown that for locally trivial complex analytic morphisms between some reduced spaces the Relative Riemann-Hilbert Theorem still holds up to torsion, i.e. tame flat relative connections on torsion-free sheaves are in…

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that…

The aim of this paper is that of discussing Closed Graph Theorems for bornological vector spaces in a way which is accessible to non-experts. We will see how to easily adapt classical arguments of functional analysis over $\mathbb{R}$ and…

We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be…

With a view to establishing measure theoretic approximation properties of Delone sets, we study a setup which arises naturally in the problem of averaging almost periodic functions along exponential sequences. In this setting, we establish…

In this article we address the first part of the programme presented in \cite{Teleman_arXiv_III}, \S 2; we construct the local $K$- theory level of the index formula. Our construction is sufficiently general to encompass the algebra of…

In this article we treat a notion of continuity for a multi-valued function F and we compute the descriptive set-theoretic complexity of the set of all x for which F is continuous at x. We give conditions under which the latter set is…

In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories,…

The paper tries to extend results of the classical Descriptive Set Theory to as many countably based T_0-spaces (cb_0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we…

We define rigorously operators of the form $f(\partial_t)$, in which $f$ is an analytic function on a simply connected domain. Our formalism is based on the Borel transform on entire functions of exponential type. We study existence and…

These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies…

For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…

In aperiodic order, non-periodic but "ordered" objects such as tilings, Delone sets, functions and measures are investigated. In this article we depict the common structure of these objects by using the general framework of abstract pattern…

We study Borel systems and continuous systems of measures, with a focus on mapping properties: compositions, liftings, fibred products and disintegration. Parts of the theory we develop can be derived from known work in the literature, and…