Elementary constructive theory of Henselian local rings

, &
Mathematical Logic Quarterly 54 (3):253-271 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

  • This entry has no external links. Add one.
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

Elementary constructive theory of Henselian local rings.María E. Alonso, Henri Lombardi & Hervé Perdry - 2008 - Mathematical Logic Quarterly 54 (3):253-271.
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.
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
Anneaux de fonctions p-adiques.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Elementary properties of power series fields over finite fields.Franz-Viktor Kuhlmann - 2001 - Journal of Symbolic Logic 66 (2):771-791.
A transfer theorem for Henselian valued and ordered fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Elementary equivalence of some rings of definable functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
How to Eliminate Quantifiers in the Elementary Theory of p‐Rings.Burkhard Molzan - 1982 - Mathematical Logic Quarterly 28 (4‐7):83-92.
Relative decidability and definability in henselian valued fields.Joseph Flenner - 2011 - Journal of Symbolic Logic 76 (4):1240-1260.

Analytics

Added to PP
2013-12-01

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references