Finite axiomatizability for profinite groups
Nies, A
Segal, D
Tent, K
(04 Jul 2019)
http://arxiv.org/abs/1907.02262v5
Defining R and G(R)
Segal, D
Tent, K
(28 Apr 2020)
http://arxiv.org/abs/2004.13407v5
Defining $\mathbb{A}$ in $G(\mathbb{A})$
Segal, D
(22 Jul 2020)
http://arxiv.org/abs/2007.11440v1
On groups of finite upper rank
Segal, D
(25 Apr 2021)
http://arxiv.org/abs/2104.12281v1
A profinite analogue of Lasserre's theorem
Segal, D
(17 Sep 2022)
http://arxiv.org/abs/2209.08279v2
Commensurability and bi-interpretability of groups
Segal, D
(29 Jan 2023)
http://arxiv.org/abs/2301.12506v1
On the finite axiomatizability of some metabelian profinite groups
Segal, D
(26 Mar 2023)
http://arxiv.org/abs/2303.14776v1
When is the étale open topology a field topology?
Dittmann, P
Walsberg, E
Ye, J
Israel Journal of Mathematics
(03 Apr 2025)
A note on geometric theories of fields
Johnson, W
Ye, J
Model Theory
volume 2
issue 1
121-132
(11 Jun 2023)
A note on μ-stabilizers in ACVF
Ye, J
Annals of Pure and Applied Logic