Existentially closed ordered difference fields and rings

Mathematical Logic Quarterly 56 (3):239-256 (2010)
  Copy   BIBTEX

Abstract

We describe classes of existentially closed ordered difference fields and rings. We show an Ax-Kochen type result for a class of valued ordered difference fields

Categories

Keywords

Reprint years

DOI

10.1002/malq.200910007

Links

PhilArchive



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

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

Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups. [REVIEW]Anatole Khelif - 1996 - Journal of Symbolic Logic 61 (1):277 - 284.
A transfer theorem for Henselian valued and ordered fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
A note on existentially closed difference fields with algebraically closed fixed field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
Un Principe d'ax-kochen-Ershov pour Des structures intermediares entre groupes et corps values.Françoise Delon & Patrick Simonetta - 1999 - Journal of Symbolic Logic 64 (3):991-1027.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2011 - Archive for Mathematical Logic 50 (7-8):681-695.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Every real closed field has an integer part.M. H. Mourgues & J. P. Ressayre - 1993 - Journal of Symbolic Logic 58 (2):641-647.
Anneaux de fonctions p-adiques.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Completions of Convexly Ordered Valuation Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (3):318-330.

Analytics

Added to PP
2013-12-01

Downloads
18 (#832,589)

6 months
1 (#1,471,470)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multiplicative valued difference fields.Koushik Pal - 2012 - Journal of Symbolic Logic 77 (2):545-579.

Add more citations

References found in this work

Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
The strict order property and generic automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Logarithmic-exponential series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
On the elementary theory of pairs of real closed fields. II.Walter Baur - 1982 - Journal of Symbolic Logic 47 (3):669-679.

Add more references