Some theories associated with algebraically closed fields

&
Journal of Symbolic Logic 45 (2):359-362 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273196

Links

PhilArchive



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

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

On predicates in algebraically closed fields.Abraham Robinson - 1954 - Journal of Symbolic Logic 19 (2):103-114.
A note on existentially closed difference fields with algebraically closed fixed field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
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.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
On PAC and Bounded Substructures of a Stable Structure.Anand Pillay & Dominika Polkowska - 2006 - Journal of Symbolic Logic 71 (2):460 - 472.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
A consistency proof for elementary algebra and geometry.Harvey Friedman - manuscript
Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
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.

Analytics

Added to PP
2009-01-28

Downloads
17 (#849,202)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some highly undecidable lattices.Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin & Gabriel Srour - 1990 - Annals of Pure and Applied Logic 46 (1):41-63.

Add more citations

References found in this work

No references found.

Add more references