Related papers: Beth definability and the Stone-Weierstrass Theore…
The aim of the present article is to extend the Stone--Weierstrass theorem to functions ranging in a lattice normed space and order rather than topological approximation. We proceed with the machinery of Boolean valued transfer from lattice…
We present an approximation theorem for continuous non-decreasing functions on compact preordered spaces, leading to an algebraic characterization of their corresponding function spaces. As an application, we prove that the family of…
We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…
The classical theorems of Banach and Stone, Gelfand and Kolmogorov, and Kaplansky show that a compact Hausdorff space $X$ is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure,…
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinations of resource lambda-terms, from a calculus similar to Boudol's…
We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the product $\times$, and the finite…
The Stone-Weierstrass approximation theorem is extended to certain unbounded sets in $C^n$. In particular, on a locally rectifiable arc going to infinity, each continuous function can be approximated by entire functions.
Ehrenfest's theorem in the infinite square well is up to now only manifested indirectly. The manifestation of this theorem is first done in the finite square well, and then consider the infinite square well as the limit of the finite well.…
In this paper, we state as a conjecture a vector-valued Hopf-Dunford-Schwartz lemma and give a partial answer to it. As an application of this powerful result, we prove some Fe fferman-Stein inequalities in the setting of Dunkl analysis…
We define Stone $\delta$-rings as a new class of $\delta$-rings. Via Stone duality, we shows that $\delta$-rings relates light condensed mathematics, which is developed by Clausen-Scholze. Also, we examine some phenomena for this…
The purpose of this paper is to study the properties of the solutions to the biharmonic equations: $\Delta(\Delta f)=g$, where $g:$ $\overline{\mathbb{D}}\rightarrow\mathbb{C}$ is a continuous function and $\overline{\mathbb{D}}$ denotes…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
We adapt the definition of the Vietoris map to the framework of finite topological spaces and we prove some coincidence theorems. From them, we deduce a Lefschetz fixed point theorem for multivalued maps that improves recent results in the…
Two kinds of the connective implication are introduced as term operations of a pseudocomplemented lattice. It is shown that they share a lot of properties with the intuitionistic implication based on Heyting algebras. In particular, if the…
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…
Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic called…
The finite satisfiability problem of monadic second order logic is decidable only on classes of structures of bounded tree-width by the classic result of Seese (1991). We prove the following problem is decidable: Input: (i) A monadic second…
We characterize those algebras over a disconnected uniformly complete topological field which are representable as algebras of continuous functions on compact topological spaces, generalizing thus Gelfand duality for non-archimedean normed…
We introduce a generalized notion of finiteness that provides a structural principle for the set of effective theories that can be consistently coupled to quantum gravity. More concretely, we propose a Tameness Conjecture that states that…
This paper extends a version of the Stone-Weierstrass theorem to more general C*-algebras. Namely, assume that A is a unital, not necessarily separable, C*-algebra, and B is a C*-subalgebra containing the unit element. Then, I prove that:…