Mathematical Logic Quarterly 54 (3):253-271 (2008)

Abstract
We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content
Keywords Henselian rings  Constructible mathematics
Categories (categorize this paper)
DOI 10.1002/malq.200710057
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,410
Through your library

References found in this work BETA

Henselian Valued Fields: A Constructive Point of View.Hervé Perdry - 2005 - Mathematical Logic Quarterly 51 (4):400-416.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Anneaux de Fonctions P-Adiques.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.
Henselian Valued Fields: A Constructive Point of View.Hervé Perdry - 2005 - Mathematical Logic Quarterly 51 (4):400-416.
Lazy Bases: A Minimalist Constructive Theory of Noetherian Rings.Hervé Perdry - 2008 - Mathematical Logic Quarterly 54 (1):70-82.
Some Model Theory for Almost Real Closed Fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
A Transfer Theorem for Henselian Valued and Ordered Fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
Model Companion and Model Completion of Theories of Rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
Diophantine Equivalence and Countable Rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
Elementary Equivalence of Some Rings of Definable Functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.

Analytics

Added to PP index
2013-12-01

Total views
26 ( #390,377 of 2,368,291 )

Recent downloads (6 months)
1 ( #557,530 of 2,368,291 )

How can I increase my downloads?

Downloads

My notes