Extending work of Puninski, Puninskaya and Toffalori in [PPT07], we show that if V is an effectively given valuation domain then the theory of all V -modules is decidable if and only if there exists an algorithm which, given a, b ∈ V , answers whether a ∈ rad(bV ). This was conjectured in [PPT07] for valuation domains with dense value group where it was proved for valuation domains with dense a...

We prove that a non linearly compact valuation domain R admits a proper immediate extension S. This is the main point of Kaplansky’s classical result that a valuation domain is linearly compact if and only if it is maximal. In fact, Kaplansky’s original proof, as well as later versions of it, do not show that R and S have the same residue field.

We survey and extend recent work on integrally closed overrings of two-dimensional Noetherian domains, where such overrings are viewed as intersections of valuation overrings. Of particular interest are the cases where the domain can be represented uniquely by an irredundant intersection of valuation rings, and when the valuation rings can be chosen from a Noetherian subspace of the Zariski-Rie...

Let V (resp. D) be a valuation domain (resp. SFT Prüfer domain), I a proper ideal, and V̂ (resp. D̂) be the I-adic completion of V (resp. D). We show that (1) V̂ is a valuation domain, (2) Krull dimension of V̂ = dimV I+1 if I is not idempotent, V̂ ∼= V I if I is idempotent, (3) dim D̂ = dimD I + 1, (4) D̂ is an SFT Prüfer ring, and (5) D̂ is a catenarian ring. Throughout this paper, all rings are assu...

We endow the collection of ω-bifinite domains with the structure of a probability space, and we will show that in this space the collection of all universal domains has measure 1. For this, we present a probabilistic way to extend a finite partial order by one element. Applying this procedure iteratively, we obtain an infinite partial order. We show that, with probability 1, the cpo-completion ...

In the current context of accelerating digitisation in almost all areas business, assessing market value a company has become topic debate both among practitioners and academic community due to significant increasing presence intangibles assets these companies. Therefore, purpose our research is focused on identification existing impediments evaluation process companies over time. The establish...

We prove that if $R$ is a commutative Noetherian ring, then every countably generated flat $R$-module quite flat, i.e., direct summand of transfinite extension localizations in countable multiplicative subsets. also show the spectrum cardinality less than $\kappa$, where $\kappa$ an uncountable regular cardinal, modules with generators. This provides alternative proof fact over ring spectrum, a...

The real closed valuation rings, i.e., convex subrings of real closed fields, form a proper subclass of the class of real closed domains. It is shown how one can recognize whether a real closed domain is a valuation ring. This leads to a characterization of the totally ordered domains whose real closure is a valuation ring. Real closures of totally ordered factor rings of coordinate rings of re...