English
Related papers

Related papers: De Vries powers: a generalization of Boolean power…

200 papers

We extend Yosida's 1941 version of Stone-Gelfand duality to metrically complete unital lattice-ordered groups that are no longer required to be real vector spaces. This calls for a generalised notion of compact Hausdorff space whose points…

Functional Analysis · Mathematics 2024-11-27 Marco Abbadini , Vincenzo Marra , Luca Spada

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…

General Topology · Mathematics 2025-10-09 Sebastián Rodríguez , Xavier Caicedo

We use weighted polynomial approximation to prove the existence of a compact set K with non-empty interior and a function f is dense in the space A(K) of all continuous functions on K that are holomorphic in the interior of K, endowed with…

Complex Variables · Mathematics 2025-06-26 Stéphane Charpentier , Konstantinos Maronikolakis

We exhibit Pontryagin duality as a special case of Stone duality in a continuous logic setting. More specifically, given an abelian topological group $A$, and $\mathcal F$ the family (group) of continuous homomorphisms from $A$ to the…

Logic · Mathematics 2022-09-20 Nicolas Chavarria , Anand Pillay

We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach…

Algebraic Geometry · Mathematics 2020-03-10 Krzysztof Jan Nowak

Inspired by the fundamental results obtained by P. Halmos and A. Monteiro, concerning equivalence relations and monadic Boolean algebras, we recall the `concrete' Rauszer Boolean algebra pointed out by C. Rauszer (1971), via un preorder R.…

Logic · Mathematics 2019-05-27 Luisa Iturrioz

We study the general form of isomorphisms on the algebra of compactly supported complex-valued continuous functions defined on a locally compact Hausdorff space (the proof of which works for the algebra of $C^k-$differentiable functions on…

Classical Analysis and ODEs · Mathematics 2016-08-15 R. Lakshmi Lavanya

We introduce the space of relative orders on a group and show that it is compact whenever the group is finitely generated. We use this to show that if $G$ is a finitely generated group acting by order preserving homeomorphism of on the…

Group Theory · Mathematics 2018-06-12 Yago Antolín , Cristóbal Rivas

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

Algebraic Geometry · Mathematics 2018-11-29 Krzysztof Jan Nowak

We give an explicit construction of Haar functions associated to a system of dyadic cubes in a geometrically doubling quasi-metric space equipped with a positive Borel measure, and show that these Haar functions form a basis for $L^p$. Next…

Classical Analysis and ODEs · Mathematics 2015-09-15 Anna Kairema , Ji Li , M. Cristina Pereyra , Lesley Ward

In this paper, we study functions of bounded variation on a complete and connected metric space with finite one-dimensional Hausdorff measure. The definition of BV functions on a compact interval based on pointwise variation is extended to…

Metric Geometry · Mathematics 2019-09-26 Panu Lahti , Xiaodan Zhou

Weyl-von Neumann Theorem asserts that two bounded self-adjoint operators $A,B$ on a Hilbert space $H$ are unitarily equivalent modulo compacts, i.e., $uAu^*+K=B$ for some unitary $u\in \mathcal{U}(H)$ and compact self-adjoint operator $K$,…

Functional Analysis · Mathematics 2014-02-28 Hiroshi Ando , Yasumichi Matsuzawa

It has been known since the work of Duskin and Pelletier four decades ago that KH^op, the category opposite to compact Hausdorff spaces and continuous maps, is monadic over the category of sets. It follows that KH^op is equivalent to a…

Logic · Mathematics 2020-11-19 Vincenzo Marra , Luca Reggio

The Minkowski sum and Minkowski product can be considered as the addition and multiplication of subsets of $\mathbb{R}$. If we consider a compact subset $K\subseteq[0,1]$ and a power series $f$ which is absolutely convergent on $[0,1]$,…

Classical Analysis and ODEs · Mathematics 2020-05-07 Donát Nagy

We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive…

Algebraic Topology · Mathematics 2019-03-19 Cary Malkiewich , Mona Merling

We find necessary and sufficient conditions on a family $\mathcal{R} = (r_i)_{i \in I}$ in a Boolean algebra $\mathcal{B}$ under which there exists a unique positive probability measure $\mu$ on $\mathcal{B}$ such that $\mu (…

Functional Analysis · Mathematics 2016-07-27 Mikhail Popov

Let $Bo(T,\tau)$ be the Borel $\sigma$-algebra generated by the topology $\tau$ on $T$. In this paper we show that if $K$ is a Hausdorff compact space, then every subset of $K$ is a Borel set if, and only if,…

Functional Analysis · Mathematics 2021-06-09 S. Ferrari

We study a non-commutative generalization of Stone duality that connects a class of inverse semigroups, called Boolean inverse $\wedge$-semigroups, with a class of topological groupoids, called Hausdorff Boolean groupoids. Much of the paper…

Category Theory · Mathematics 2012-03-16 Mark V Lawson

Let $V$ be a finite set of size $n$. We consider real functions on the "slice" $\binom{V}{k}$, which are also known as functions in the Johnson scheme. For $I \subseteq J \subseteq V$, the characteristic function of the set of all…

Combinatorics · Mathematics 2025-10-06 Michael Kiermaier , Jonathan Mannaert , Alfred Wassermann

We give a constructive account of the de Groot duality of stably compact spaces in the setting of strong proximity lattice, a point-free representation of a stably compact space. To this end, we introduce a notion of strong continuous…

Logic in Computer Science · Computer Science 2020-03-10 Tatsuji Kawai
‹ Prev 1 4 5 6 7 8 10 Next ›