Related papers: A realization theorem for almost Dedekind domains

We derive a decomposition result for regular, two-dimensional domains into John domains with uniform constants. We prove that for every simply connected domain $\Omega \subset {\Bbb R}^2$ with $C^1$-boundary there is a corresponding…

Let $D$ be a domain and $M$ a maximal ideal of $D$. The ring of integer-valued polynomials on a subset $E$ of $D$, as well as more general rings of functions from $E$ to $D$, can be viewed as subrings of the product $D^E=\prod_{e\in E}D$.…

The classical Hilbert specialization property is a field-theoretic tool ensuring that polynomial irreducibility over a field is preserved under specialization of some of the variables. We develop an integral counterpart by introducing the…

We define a stably free ideal domain to be a Noetherian domain whose left and right ideals ideals are all stably free. We define also a semi-stably free ideal domain to be an Ore domain whose finitely generated left and right ideals are…

For an integral domain $R$ and a commutative cancellative monoid $M$, the ring consisting of all polynomial expressions with coefficients in $R$ and exponents in $M$ is called the monoid ring of $M$ over $R$. An integral domain is called…

Let $B$ be a totally-definite quaternion algebra over a totally real field $F$, let $\mathfrak{p}$ be a prime ideal of $F$, and let $\Gamma$ be the group of reduced norm-$1$ elements of an Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-order $R$…

Let $K$ be a number field with ring of integers $R = \mathcal{O}_K$. We show that if $R$ is not a principal ideal domain, then the symplectic group $\operatorname{Sp}_{2n}(R)$ has non-trivial rational cohomology in its virtual cohomological…

We introduce axiomatically the ring $\bf{Z}_\kappa$ of the Euclidean integers, that can be viewed as the ``integral part" of the field $\mathbb{E}$ of Euclidean numbers of [4], where the transfinite sum of ordinal indexed $\kappa$-sequences…

We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is…

The aim of this paper is to consider questions concerning the possible maximum cardinality of various separable pseudoradial (in short: SP) spaces. The most intriguing question here is if there is, in ZFC, a regular (or just Hausdorff) SP…

We consider the Dirichlet Laplace operator on open, quasi-bounded domains of infinite volume. For such domains semiclassical spectral estimates based on the phase-space volume - and therefore on the volume of the domain - must fail. Here we…

Let $D$ be an integral domain and $X$ an indeterminate over $D$. It is well known that (a) $D$ is quasi-Pr\"ufer (i.e, its integral closure is a Pr\"ufer domain) if and only if each upper to zero $Q$ in $D[X] $ contains a polynomial $g \in…

Let V be a rank one discrete valuation ring (DVR) on a field F and let L/F be a finite separable algebraic field extension with [L:F] = m. The integral closure of V in L is a Dedekind domain that encodes the following invariants: (i) the…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

A semidomain is an additive submonoid of an integral domain that is closed under multiplication and contains the identity element. Although atomicity and divisibility in integral domains have been systematically investigated for more than…

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

Let $G$ be a finitely generated torsion-free pro-$p$ group containing an open free-by-$\mathbb{Z}_p$ pro-$p$ subgroup. We show that the completed group algebra of $G$ over $\mathbb{F}_p$ is a Sylvester domain. Moreover the inner rank of a…

Let R* be an ideal-adic completion of a Noetherian integral domain R and let L be a subfield of the total quotient ring of R* such that L contains R. Let A denote the intersection of L with R*. The integral domain A sometimes inherits nice…

This paper treats subelliptic estimates for the $\bar{\partial}$-Neumann problem on a class of domains known as regular coordinate domains. Our main result is that the largest subelliptic gain for a regular coordinate domain is bounded…

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…