AbstractWe continue the study of a theory which is a valued analogue of the theory of regular rings studied by Carson, Lipshitz and Saracino, characterize it as the model companion of the theory of (extended) Prüfer rings, and prove its decidability. We then link it to the theory of p.p.rings developed by Weispfenning and show that it admits quantifier elimination in a related language
This monograph is the first book-length treatment of valuation theory on finite-dimensional division...
In this paper we show that if R is a filtered ring then we can define a quasi valuation ring. And th...
If R is a field on which all (non-archimedean) valuations are known, then all valuations on R[x], wh...
AbstractWe continue the study of a theory which is a valued analogue of the theory of regular rings ...
We prove several results showing that the algebraic K-theory of valuation rings behave as though suc...
We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which...
In this paper, we introduce the notion of “P-von Neumann Regular rings ” which is a generalization o...
In this thesis we primarily consider the first-order theory of the local field F_p((t)) and the ques...
v.1 : The present book is devoted to a study of relative Prüfer rings and Manis valuations, with an ...
The material is presented in three chapters: Introductory Concepts, Some Properties of Valuation Rin...
In this paper we show the relation between filtered ring and quasi valuation and valuation ring . We...
We give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to de...
Let T* be the theory of lattice-ordered subrings, without minimal (non zero) idempontents, convex i...
Abstract. We study the first order theory of Bezout difference rings. In particular we show that rin...
Extending work of Puninski, Puninskaya andToffalori in [5],we showthat ifV is an effectively given v...
This monograph is the first book-length treatment of valuation theory on finite-dimensional division...
In this paper we show that if R is a filtered ring then we can define a quasi valuation ring. And th...
If R is a field on which all (non-archimedean) valuations are known, then all valuations on R[x], wh...
AbstractWe continue the study of a theory which is a valued analogue of the theory of regular rings ...
We prove several results showing that the algebraic K-theory of valuation rings behave as though suc...
We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which...
In this paper, we introduce the notion of “P-von Neumann Regular rings ” which is a generalization o...
In this thesis we primarily consider the first-order theory of the local field F_p((t)) and the ques...
v.1 : The present book is devoted to a study of relative Prüfer rings and Manis valuations, with an ...
The material is presented in three chapters: Introductory Concepts, Some Properties of Valuation Rin...
In this paper we show the relation between filtered ring and quasi valuation and valuation ring . We...
We give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to de...
Let T* be the theory of lattice-ordered subrings, without minimal (non zero) idempontents, convex i...
Abstract. We study the first order theory of Bezout difference rings. In particular we show that rin...
Extending work of Puninski, Puninskaya andToffalori in [5],we showthat ifV is an effectively given v...
This monograph is the first book-length treatment of valuation theory on finite-dimensional division...
In this paper we show that if R is a filtered ring then we can define a quasi valuation ring. And th...
If R is a field on which all (non-archimedean) valuations are known, then all valuations on R[x], wh...
DOI
Add to ORKG