- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Imaginaries in pairs of algebraically closed fields
Annals of Pure and Applied Logic 146 (1):13-20 (2007)
Abstract
We consider the theory P of pairs FOther Versions
No versions found
My notes
Similar books and articles
Split BN-pairs of finite Morley rank.Katrin Tent - 2003 - Annals of Pure and Applied Logic 119 (1-3):239-264.
Interpretable groups in Mann pairs.Haydar Göral - 2018 - Archive for Mathematical Logic 57 (3-4):203-237.
Residue Field Domination in Real Closed Valued Fields.Clifton Ealy, Deirdre Haskell & Jana Maříková - 2019 - Notre Dame Journal of Formal Logic 60 (3):333-351.
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.
Weak forms of elimination of imaginaries.Enrique Casanovas Ruiz-Fornells - 2004 - Mathematical Logic Quarterly 50 (2):126.
Definable types in algebraically closed valued fields.Pablo Cubides Kovacsics & Françoise Delon - 2016 - Mathematical Logic Quarterly 62 (1-2):35-45.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields.Will Johnson - 2020 - Notre Dame Journal of Formal Logic 61 (3):363-381.
Un Principe d'ax-kochen-Ershov pour Des structures intermediares entre groupes et corps values.Francoise Delon & Patrick Simonetta - 1999 - Journal of Symbolic Logic 64 (3):991-1027.
Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Analytics
Added to PP
2013-12-30
Downloads
62 (#969,576)
6 months
8 (#1,341,310)
2013-12-30
Downloads
62 (#969,576)
6 months
8 (#1,341,310)
Historical graph of downloads
Citations of this work
Noetherian theories.Amador Martin-Pizarro & Martin Ziegler - 2025 - Journal of Mathematical Logic 25 (3).
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.
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.
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.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation