We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Dp-finite fields III: inflators and directories

Authors: Will Johnson
Abstract: We develop some tools for analyzing dp-finite fields, including a notion of an ``inflator'' which generalizes the notion of a valuation/specialization on a field. For any field $K$, let $\operatorname{Sub}_K(K^n)$ denote the lattice of $K$-linear subspaces of $K^n$. An ordinary valuation on $K$ with residue field $k$ induces order-preserving dimension-preserving specialization maps from $\operatorname{Sub}_K(K^n)$ to $\operatorname{Sub}_k(k^n)$, satisfying certain compatibility across $n$. An $r$-inflator is a similar family of maps $\{\operatorname{Sub}_K(K^n) \to \operatorname{Sub}_k(k^{rn})\}_{n \in \mathbb{N}}$ scaling dimensions by $r$. We show that 1-inflators are equivalent to valuations, and that $r$-inflators naturally arise in fields of dp-rank $r$. This machinery was ``behind the scenes'' in \S 10 of [10]. We rework \S 10 of [10] using the machinery of $r$-inflators.
Comments: Preliminary draft, comments welcome
Subjects: Logic (math.LO)
MSC classes: 03C45, 13A18
Cite as: arXiv:1911.04727 [math.LO]
  (or arXiv:1911.04727v1 [math.LO] for this version)

Submission history

From: Will Johnson [view email]
[v1] Tue, 12 Nov 2019 08:08:56 GMT (89kb)

Link back to: arXiv, form interface, contact.