A valuation ring analogue of von Neumann regularity

Annals of Pure and Applied Logic 145 (2):204-222 (2007)
  Copy   BIBTEX

Abstract

We 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 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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2006.07.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A generalization of von Neumann regularity.Claude Sureson - 2005 - Annals of Pure and Applied Logic 135 (1-3):210-242.
Completions of Convexly Ordered Valuation Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (3):318-330.
Hilbert's 17th Problem for Real Closed Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (4):445-454.
QE rings in characteristic p n.Chantal Berline & Gregory Cherlin - 1983 - Journal of Symbolic Logic 48 (1):140 - 162.
Elementary equivalence of some rings of definable functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
Real closed rings and ordered valuation ring.Thomas Becker - 1983 - Mathematical Logic Quarterly 29 (8):417-425.
Grothendieck rings of ℤ-valued fields.Raf Cluckers & Deirdre Haskell - 2001 - Bulletin of Symbolic Logic 7 (2):262-269.
Grothendieck Rings of $mathbb{Z}$-Valued Fields.Raf Cluckers & Deirdre Haskell - 2001 - Bulletin of Symbolic Logic 7 (2):262-269.
That Von Neumann did not believe in a physical collapse.Lon Becker - 2004 - British Journal for the Philosophy of Science 55 (1):121-135.
Seeing causing.Helen Beebee - 2003 - Proceedings of the Aristotelian Society 103 (3):257-280.
The Von Neumann entropy: A reply to Shenker.Leah Henderson - 2003 - British Journal for the Philosophy of Science 54 (2):291-296.
The case for regularity in mechanistic causal explanation.Holly Andersen - 2012 - Synthese 189 (3):415-432.
To Value Functions or Services? An Analysis of Ecosystem Valuation Approaches.Erik Ansink, Lars Hein & Knut Per Hasund - 2008 - Environmental Values 17 (4):489-503.

Analytics

Added to PP
2013-12-30

Downloads
10 (#1,165,120)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.

Add more citations

References found in this work

A generalization of von Neumann regularity.Claude Sureson - 2005 - Annals of Pure and Applied Logic 135 (1-3):210-242.

Add more references