Related papers: On $v$--domains and star operations
A subset $S$ of an integral domain $R$ is called a semidomain provided that the pairs $(S,+)$ and $(S, \cdot)$ are semigroups with identities. The study of factorizations in integral domains was initiated by Anderson, Anderson, and…
We present proofs for the existence of distributional potentials $F\in{\mathcal D}'(\Omega)$ for distributional vector fields $G\in{\mathcal D}'(\Omega)^n$, i.e. $\operatorname{grad} F=G$, where $\Omega$ is an open subset of ${\mathbb…
The dual of an infinitely divisible distribution on $\mathbb{R}^d$ without Gaussian part defined in Sato, ALEA {\bf 3} (2007), 67--110, is renamed to the inversion. Properties and characterization of the inversion are given. A stochastic…
We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely…
In this paper we prove the Pohozaev identity for the semilinear Dirichlet problem $(-\Delta)^s u = f(u)$ in $\Omega$, $u \equiv 0$ in $\mathbb R^n\setminus\Omega$. Here, $s\in(0,1)$, $(-\Delta)^s$ is the fractional Laplacian in $\mathbb…
We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete…
We consider the steady fractional Schr\"odinger equation $L u + V u = f$ posed on a bounded domain $\Omega$; $L$ is an integro-differential operator, like the usual versions of the fractional Laplacian $(-\Delta)^s$; $V\ge 0$ is a potential…
Given a map $\phi:X\rightarrow Y$ between $F$-analytic manifolds over a local field $F$ of characteristic $0$, we introduce an invariant $\epsilon_{\star}(\phi)$ which quantifies the integrability of pushforwards of smooth compactly…
This paper studies the Ratliff-Rush closure of ideals in integral domains. By definition, the Ratliff-Rush closure of an ideal $I$ of a domain $R$ is the ideal given by $\tilde{I}:=\bigcup(I^{n+1}:_{R}I^{n})$ and an ideal $I$ is said to be…
We establish properties of a new type of fractal which has partial self similarity at all scales. For any collection of iterated functions systems with an associated probability distribution and any positive integer V there is a…
The t-class semigroup of an integral domain is the semigroup of the isomorphy classes of the t-ideals with the operation induced by t-multiplication. This paper investigates integral domains with Boolean t-class semigroup with an emphasis…
Let B be a commutative B\'ezout domain B and let MSpec(B) be the maximal spectrum of B. We obtain a Feferman-Vaught type theorem for the class of B-modules. We analyse the definable sets in terms, on one hand, of the definable sets in the…
In this work, we propose a domain generalization (DG) approach to learn on several labeled source domains and transfer knowledge to a target domain that is inaccessible in training. Considering the inherent conditional and label shifts, we…
A computable ring is a ring equipped with mechanical procedure to add and multiply elements. In most natural computable integral domains, there is a computational procedure to determine if a given element is prime/irreducible. However,…
Structural stability of holomorphic functions has been the subject of much research in the last fifty years. Due to various technicalities, however, most of that work has focused on so-called finite-type functions (functions whose set of…
Consider a classical elliptic pseudodifferential operator $P$ on ${\Bbb R}^n$ of order $2a$ ($0<a<1)$ with even symbol. For example, $P=A(x,D)^a$ where $A(x,D)$ is a second-order strongly elliptic differential operator; the fractional…
Let $D$ be a proper domain in the extended complex plane ${\mathbb C}_{\infty}:={\mathbb C}\cup \{\infty\}$, $M=M_+-M_-\not\equiv \pm \infty$ be a difference of non-trivial subharmonic functions $M_{\pm}\not\equiv \mp \infty$ on $D$,…
Let $f, f_1, \ldots, f_\nV$ be polynomials with rational coefficients in the indeterminates $\bfX=X_1, \ldots, X_n$ of maximum degree $D$ and $V$ be the set of common complex solutions of $\F=(f_1,\ldots, f_\nV)$. We give an algorithm…
We demonstrate a class of local (Noetherian) unique factorization domains (UFDs) that are noncatenary at infinitely many places. In particular, if $A$ is in our class of UFDs, then the prime spectrum of $A$ contains infinitely many disjoint…
This study is on Cauchy's function $f(z)$ and its integral, $J[f(z)]\equiv (2\pi i)^{-1}\oint_C f(t)dt/(t-z)$ taken along a closed simple contour $C$, in regard to their comprehensive properties over the entire $z=x+iy$ plane consisted of…