Dynamical algebraic structures, pointfree topological spaces and Hilbert’s program A possible relevant meaning of Hilbert’s program is the following one : “give a constructive semantic for classical mathematics”. More precisely, give a systematic interpretation of classical abstract proofs (that use Third Excluded Middle and Choice) about abstract objects, as constructive proofs about construct...

The rank rk(R) of a ring R is the supremum of minimal cardinalities of generating sets of I as I ranges over ideals of R. Matson showed that every n ∈ Z+ occurs as the rank of some ring R. Motivated by the result of Cohen and Gilmer that a ring of finite rank has Krull dimension 0 or 1, we give four different constructions of rings of rank n (for all n ∈ Z+). Two constructions use one-dimension...

Derived decompositions of abelian categories are introduced in internal terms subcategories to construct semi-orthogonal (or Bousfield localizations, or hereditary torsion pairs) various derived categories. We give a sufficient condition for arbitrary have such and show that it is also necessary with enough projectives injectives. For bounded categories, we describe which determined by decompos...

let $d$ be an integral domain and $star$ a semistar operation stable and of finite type on it. we define the semistar dimension (inequality) formula and discover their relations with $star$-universally catenarian domains and $star$-stably strong s-domains. as an application, we give new characterizations of $star$-quasi-pr"{u}fer domains and um$t$ domains in terms of dimension ine...

Introduction. The concept of a local ring was introduced by Krull [7](1), who defined such a ring as a commutative ring 9î in which every ideal has a finite basis and in which the set m of all non-units is an ideal, necessarily maximal. He proved that the intersection of all the powers of m is the zero ideal. If the powers of m are introduced as a system of neighborhoods of zero, then 3Î thus b...

 ‎In this article‎, ‎we first‎ ‎show that non-Noetherian Artinian uniserial modules over‎ ‎commutative rings‎, ‎duo rings‎, ‎finite $R$-algebras and right‎ ‎Noetherian rings are $1$-atomic exactly like $Bbb Z_{p^{infty}}$‎. ‎Consequently‎, ‎we show that if $R$ is a right duo (or‎, ‎a right‎ ‎Noetherian) ring‎, ‎then the Noetherian dimension of an Artinian‎ ‎module with homogeneous uniserial dim...

The concepts of tropical semiring and tropical hypersurface, are extended to the case of an arbitrary ordered group. Then, we define the tropicalization of a polynomial with coefficients in a Krull-valued field. After a close study of the properties of the operator “tropicalization” we conclude with an extension of Kapranov’s theorem to algebraically closed fields together with a valuation over...