Imaginaries in pairs of algebraically closed fields

Annals of Pure and Applied Logic 146 (1):13-20 (2007)
  Copy   BIBTEX

Abstract

We consider the theory P of pairs F

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2006.11.002

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

Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
A note on existentially closed difference fields with algebraically closed fixed field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
On PAC and Bounded Substructures of a Stable Structure.Anand Pillay & Dominika Polkowska - 2006 - Journal of Symbolic Logic 71 (2):460 - 472.
Definability of Geometric Properties in Algebraically Closed Fields.Olivier Chapuis & Pascal Koiran - 1999 - Mathematical Logic Quarterly 45 (4):533-550.
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.
Constructing ω-stable Structures: Rank k-fields.John T. Baldwin & Kitty Holland - 2003 - Notre Dame Journal of Formal Logic 44 (3):139-147.
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.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
Small skew fields.Cédric Milliet - 2007 - Mathematical Logic Quarterly 53 (1):86-90.
Note on generalizing theorems in algebraically closed fields.Matthias Baaz & Richard Zach - 1998 - Archive for Mathematical Logic 37 (5-6):297-307.
Motives for perfect PAC fields with pro-cyclic Galois group.Immanuel Halupczok - 2008 - Journal of Symbolic Logic 73 (3):1036-1050.
Model-theory of vector-spaces over unspecified fields.David Pierce - 2009 - Archive for Mathematical Logic 48 (5):421-436.
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.

Analytics

Added to PP
2013-12-30

Downloads
12 (#1,062,297)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Equational theories of fields.Amador Martin-Pizarro & Martin Ziegler - 2020 - Journal of Symbolic Logic 85 (2):828-851.
Tame Expansions of $\omega$ -Stable Theories and Definable Groups.Haydar Göral - 2019 - Notre Dame Journal of Formal Logic 60 (2):161-194.
Interpretable groups in Mann pairs.Haydar Göral - 2018 - Archive for Mathematical Logic 57 (3-4):203-237.

Add more citations

References found in this work

Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
Une théorie de galois imaginaire.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (4):1151-1170.
Pseudoprojective strongly minimal sets are locally projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
On Almost Orthogonality in Simple Theories.Itay Ben-Yaacov & Frank O. Wagner - 2004 - Journal of Symbolic Logic 69 (2):398 - 408.
On almost orthogonality in simple theories.Itay Ben-Yaacov & Frank O. Wagner - 2004 - Journal of Symbolic Logic 69 (2):398-408.

Add more references