Separably closed valued fields: immediate expansions
type: Item
instance of: scholarly article
title: Separably closed valued fields: immediate expansions
zbMATH Open document ID: 1370.03055
author: Jizhan Hong
published in: Israel Journal of Mathematics
publication date: 2017-01-11T00:00:00Z
review text: It is a key model theoretic question to delimit the expressive definability power of various first-order structures on a set. Motivated by results of \textit{D. Haskell} and \textit{D. Macpherson} [J. Symb. Log. 63, No. 2, 739--741 (1998; Zbl 0920.03047)], the author introduces the natural notion of ``immediate expansion'' of first-order structures. The motivating examples are algebraically closed valued fields and real closed convexly valued fields: they are immediate expansions of the underlying algebraically closed fields and real closed fields, as any definable set in the valued structure is either definable in the pure field structure or the valuation ring is definable from that definable set. The main result of the paper is an analogue result for separably closed valued fields of any imperfection degree. The main tools are the author's quantifier elimination for separably closed valued fields [J. Symb. Log. 81, No. 3, 887--900 (2016; Zbl 1432.03062)] and Weil's restriction. To this reviewer's knowledge, it is unknown if a suitable non-trivial \(p\)-adic analogue holds.
reviewed by: Luc Bélair
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 12J10
Mathematics Subject Classification ID: 12L12
zbMATH DE Number: 6673872
zbMATH Keywords: separably closed valued field
zbMATH Keywords: definable set
zbMATH Keywords: expansion
zbMATH Keywords: Weil restriction
MaRDI profile type: Publication
full work available at URL: s11856-016-1428-0
OpenAlex ID: W2531090633
cites work: Néron Models
cites work: Q3584740
cites work: SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
cites work: On Rumely's local-global principle
cites work: Q4002797
cites work: A note on valuation definable expansions of fields
cites work: Canonical forms for definable subsets of algebraically closed and real closed valued fields
cites work: Algebraic varieties over PAC fields
cites work: Q3272926
cites work: Q4530238
cites work: T-convexity and tame extensions
cites work: Q5846813
DOI: 10.1007/S11856-016-1428-0
description: scientific article; zbMATH DE number 6673872