Elementary constructive theory of Henselian local rings

15 years 3 months ago

Download hlombardi.free.fr

Abstract. We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.

Maria Emilia Alonso, Henri Lombardi, Hervé

Real-time Traffic

Elementary Theory | Henselian Local Rings | Local Ring | MLQ 2008 |

claim paper

» Combinatorics with definable sets Euler characteristics and Grothendieck rings

» Understanding elementary landscapes

» Forcing with Random Variables and Proof Complexity

» A Nominal Relational Model for Local Store

» Locatedness and overt sublocales

» Examples of nonlocality

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	MLQ
Authors	Maria Emilia Alonso, Henri Lombardi, Hervé Perdry

Comments (0)

Sciweavers

Elementary constructive theory of Henselian local rings

Elementary Theory | Henselian Local Rings | Local Ring | MLQ 2008 |

Explore & Download

Productivity Tools

Sciweavers