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 ScienceWISE logo

Mathematics > Logic

Title: Topologizing interpretable groups in $p$-adically closed fields

Authors: Will Johnson
Abstract: We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the topology on definable subsets of $K^n$. We show every interpretable set has at least one admissible topology, and every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an interpretable group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over $\mathbb{Q}_p$ is definably isomorphic to a definable group.
Comments: 38 pages, updated references
Subjects: Logic (math.LO)
MSC classes: 03C60
Cite as: arXiv:2205.00749 [math.LO]
  (or arXiv:2205.00749v2 [math.LO] for this version)

Submission history

From: Will Johnson [view email]
[v1] Mon, 2 May 2022 08:57:26 GMT (33kb)
[v2] Mon, 22 Aug 2022 02:43:25 GMT (34kb)

Link back to: arXiv, form interface, contact.