The undecidability of the theory of immediate pairs of Henselian valued fields

Journal of Symbolic Logic 56 (4):1236-1242 (1991)
  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: 91,897

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

Indecidabilite de la theorie Des paires immediates de corps values henseliens.Françoise Delon - 1991 - Journal of Symbolic Logic 56 (4):1236-1242.
A transfer theorem for Henselian valued and ordered fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
Henselian valued fields: a constructive point of view.Hervé Perdry - 2005 - Mathematical Logic Quarterly 51 (4):400-416.
Complete theories of pairs of Henselian valued fields.G. Leloup - 1990 - Journal of Symbolic Logic 55 (1):323-339.
Extensions Separees et Immediates de Corps Values.Francoise Delon - 1988 - Journal of Symbolic Logic 53 (2):421-428.
Extensions séparées et immédiates de corps valués.Françoise Delon - 1988 - Journal of Symbolic Logic 53 (2):421-428.
Relative decidability and definability in henselian valued fields.Joseph Flenner - 2011 - Journal of Symbolic Logic 76 (4):1240-1260.
Elementary properties of power series fields over finite fields.Franz-Viktor Kuhlmann - 2001 - Journal of Symbolic Logic 66 (2):771-791.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.
Relative elimination of quantifiers for Henselian valued fields.Serban A. Basarab - 1991 - Annals of Pure and Applied Logic 53 (1):51-74.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.

Analytics

Added to PP
2014-04-06

Downloads
10 (#1,194,003)

6 months
3 (#976,478)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references