Model-complete theories of formally real fields and formally p-adic fields

Journal of Symbolic Logic 48 (4):1130-1139 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273676

Links

PhilArchive



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

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

Bi-Coloured Fields on the Complex Numbers.B. Zilber - 2004 - Journal of Symbolic Logic 69 (4):1171 - 1186.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Canonical forms for definable subsets of algebraically closed and real closed valued fields.Jan E. Holly - 1995 - Journal of Symbolic Logic 60 (3):843-860.
Model-complete theories of e-free AX fields.Moshe Jarden & William H. Wheeler - 1983 - Journal of Symbolic Logic 48 (4):1125-1129.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields.Dov M. Gabbay - 1973 - Journal of Symbolic Logic 38 (1):86-92.
Asymptotic theory of modules of separably closed fields.Françoise Point - 2005 - Journal of Symbolic Logic 70 (2):573-592.
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields.Nicolas Guzy & Cédric Rivière - 2006 - Notre Dame Journal of Formal Logic 47 (3):331-341.
Interfield theories.Lindley Darden & Nancy Maull - 1977 - Philosophy of Science 44 (1):43-64.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.

Analytics

Added to PP
2009-01-28

Downloads
41 (#380,229)

6 months
13 (#184,769)

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

Model-complete theories of pseudo-algebraically closed fields.William H. Wheeler - 1979 - Annals of Mathematical Logic 17 (3):205-226.

Add more references