Related papers: Continuous R-valuations
We introduce a continuous domain for function spaces over topological spaces which are not core-compact. Notable examples of such topological spaces include the real line with the upper limit topology, which is used in solution of initial…
We extend the notion of intrinsic entropy for endomorphisms of Abelian groups to endomorphisms of modules over an Archimedean non-discrete valuation domain $R$, using the natural non-discrete length function introduced by Northcott and…
We present several naturally occurring classes of spectral spaces using commutative algebra on pointed monoids. For this purpose, our main tools are finite type closure operations and continuous valuations on monoids which we introduce in…
Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, endowed with an ample line bundle L. We introduce a general notion of (possibly singular) semipositive (or…
A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…
One considers Hilbert space valued measures on the Borel sets of a compact metric space. A natural numerical valued integral of vector valued continuous functions with respect to vector valued functions is defined. Using this integral,…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
Let $K$ be a field, $\mathcal {O}_v$ a valuation ring of $K$ associated to a valuation $v$: $K\rightarrow\Gamma\cup\{\infty\}$, and ${\bf m}_v$ the unique maximal ideal of $\mathcal {O}_v$. Consider an ideal $\mathcal {I}$ of the free…
The notion of bounded ideals is introduced for quasi-metric spaces. Such ideals give rise to a monad, the bounded ideal monad, on the category of quasi-metric spaces and non-expansive maps. Algebras of this monad are metric version of local…
We study real-valued valuations on the space of Lipschitz functions over the Euclidean unit sphere $S^{n-1}$. After introducing an appropriate notion of convergence, we show that continuous valuations are bounded on sets which are bounded…
Consistent Hoare, Smyth and Plotkin power domains are introduced and discussed by Yuan and Kou. The consistent algebraic operation $+$ defined by them is a binary partial Scott continuous operation satisfying the requirement: $a+b$ exists…
Let $\Omega$ be a bounded strictly pseudoconvex domain of $\mathbb{C}^n$. We solve degenerate complex Monge-Amp\`ere equations of the form $(\omega + dd^c \varphi)^n = \mu$ in the generalized Cegrell classes $\mathcal{K}(\Omega,\omega,H)$,…
The combination of persistent homology and discrete Morse theory has proven very effective in visualizing and analyzing big and heterogeneous data. Indeed, topology provides computable and coarse summaries of data independently from…
The Levi-Civita field $\mathcal{R}$ is the smallest non-Archimedean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In this paper we develop a new theory of…
For r > 1, we show, using the Ledrappier-Young entropy characterization of SRB measures for non-invertible maps, that if a C^r map f of the interval or the circle has its Lyapunov exponent greater than 1/r log ||f ' || $\infty$ on a set E…
Reinforcement Learning with Verifiable Rewards has recently advanced the capabilities of Large Language Models in complex reasoning tasks by providing explicit rule-based supervision. Among RLVR methods, GRPO and its variants have achieved…
We describe the supports of a class of real-valued maps on $C*(X)$ introduced by Radul. Using this description, a characterization of compact-valued retracts of a given space in terms of functional extenders is obtained. For example, if…
A study of the relation between a noetherian local domain with a given valuation and its associated graded ring with respect to the valuation, which in some cases is an esentially toric variety, possibly of infinite embedding dimension, but…
We define a (preorder-enriched) category $\mathsf{Met}$ of quantale-valued metric spaces and uniformly continuous maps, with the essential requirement that the quantales are continuous. For each object $(X,d,Q)$ in this category, where $X$…
A measure is 1-rectifiable if there is a countable union of finite length curves whose complement has zero measure. We characterize 1-rectifiable Radon measures $\mu$ in $n$-dimensional Euclidean space for all $n\geq 2$ in terms of…