On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field
type: Item
instance of: scholarly article
title: On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field
zbMATH Open document ID: 0923.03053
published in: Manuscripta Mathematica
publication date: 1999-10-28T00:00:00Z
review text: Let \(T\) be a theory in the language of rings with extra unary predicate \(S\) whose models are \((B,\Sigma)\) (\(\Sigma\) corresponds to \(S\)) such that (1) \(B\) is a valuation ring with fraction field \(F\) of characteristic 0. (2) \(\Sigma\) is a multiplicative closed subset of \(B\) that is mapped bijectively onto \(B/m(B)\) by the residue class map. (3) \(m(B)= pB\) and \(B/m(B)\) is a perfect field. (4) The local ring \(B\) is Henselian. (5) For each \(k\in\mathbb{Z}^n\), \(k\cdot\sigma= 0\Leftrightarrow R(\overline\sigma)= 0\), for all \(\sigma\in \Sigma^n\), where \(R\in \mathbb{F}_p[X]^N\) is the triple associated to \(k\), and \(\overline\sigma= (\overline\sigma_1,\dots,\overline\sigma_m)\). The author proves that two models \((B,\Sigma)\) and \((B',\Sigma')\) of \(T\) are elementarily equivalent if and only if \(B/m(B)\) and \(B'/m(B')\) are elementarily equivalent and their value groups are elementarily equivalent.
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 13K05
Mathematics Subject Classification ID: 13L05
Mathematics Subject Classification ID: 12K05
zbMATH DE Number: 1275768
zbMATH Keywords: Witt vectors
zbMATH Keywords: elementary equivalence
zbMATH Keywords: model theory of rings
author: Lou van den Dries
reviewed by: Jiří Močkoř
MaRDI profile type: Publication
full work available at URL: s002290050130
OpenAlex ID: W1989342070
DOI: 10.1007/S002290050130
description: scientific article; zbMATH DE number 1275768