On the elimination of imaginaries from certain valued fields
type: Item
instance of: scholarly article
title: On the elimination of imaginaries from certain valued fields
zbMATH Open document ID: 0795.03049
DOI: 10.1016/0168-0072(93)90222-Y
author: Philip Scowcroft
author: Angus Macintyre
published in: Annals of Pure and Applied Logic
publication date: 1994-09-01T00:00:00Z
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 12L12
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 12J10
zbMATH DE Number: 219150
zbMATH Keywords: definable \(m\)-ary equivalence relation
zbMATH Keywords: \(m\)-ary definable function
zbMATH Keywords: expansions of the field of \(p\)-adic numbers
zbMATH Keywords: elimination of imaginaries
zbMATH Keywords: fields of formal power series
MaRDI profile type: Publication
cites work: Diophantine problems over local fields. III: Decidable fields
cites work: The rationality of the Poincaré series associated to the p-adic points on a variety
cites work: Algebraic theories with definable Skolem functions
cites work: Some applications of the notions of forcing and generic sets
cites work: Q3889226
cites work: Q5812175
cites work: Q4081371
cites work: On definable subsets of p-adic fields
cites work: A survey of basic stability theory, with particular emphasis on orthogonality and regular types
cites work: Q3213348
cites work: Q5322161
cites work: Une théorie de Galois imaginaire
cites work: Undecidable Rings
cites work: A note on definable Skolem functions
cites work: More on definable sets of p-adic numbers
cites work: On the structure of semialgebraic sets over p-adic fields
cites work: Q4183410
cites work: Q3708785
Recommended article: Q4664252
Recommended article: On the proof of elimination of imaginaries in algebraically closed valued fields
Recommended article: Imaginaries in separably closed valued fields
Recommended article: Definable sets in algebraically closed valued fields: elimination of imaginaries
Recommended article: Q5699099
Recommended article: Imaginaries in real closed valued fields
Recommended article: Q3708785
Recommended article: Weak forms of elimination of imaginaries
Recommended article: Imaginaries and definable types in algebraically closed valued fields
Recommended article: Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
description: scientific article; zbMATH DE number 219150