Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-22T17:14:45.920Z Has data issue: false hasContentIssue false

CONTRIBUTIONS TO THE THEORY OF F-AUTOMATIC SETS

Published online by Cambridge University Press:  08 June 2021

CHRISTOPHER HAWTHORNE*
Affiliation:
DEPARTMENT OF PURE MATHEMATICS UNIVERSITY OF WATERLOO 200 UNIVERSITY AVENUE WEST WATERLOO, ONN2L 3G1, CANADAE-mail:[email protected]

Abstract

Fix an abelian group $\Gamma $ and an injective endomorphism $F\colon \Gamma \to \Gamma $ . Improving on the results of [2], new characterizations are here obtained for the existence of spanning sets, F-automaticity, and F-sparsity. The model theoretic status of these sets is also investigated, culminating with a combinatorial description of the F-sparse sets that are stable in $(\Gamma ,+)$ , and a proof that the expansion of $(\Gamma ,+)$ by any F-sparse set is NIP. These methods are also used to show for prime $p\ge 7$ that the expansion of $(\mathbb {F}_p[t],+)$ by multiplication restricted to $t^{\mathbb {N}}$ is NIP.

Type
Article
Copyright
© The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Bell, J., Ghioca, D., and Moosa, R., Effective isotrivial Mordells–Lang in positive characteristic, preprint, 2020, arXiv:2010.08579.Google Scholar
Bell, J. and Moosa, R., F-sets and finite automata . Journal de Théorie des Nombres de Bordeaux , vol. 31 (2019), no. 1, pp. 101130.CrossRefGoogle Scholar
Bruyere, V., Hansel, G., Michaux, C., and Villemaire, R., Logic and p-recognizable sets of integers . Bulletin of the Belgian Mathematical Society Simon Stevin , vol. 1 (1994), pp. 191238.Google Scholar
Conant, G. and Laskowski, M. C., Weakly minimal groups with a new predicate . Journal of Mathematical Logic , vol. 20 (2020), no. 2, p. 2050011.10.1142/S0219061320500117CrossRefGoogle Scholar
Hawthorne, C. D. C., Automata and tame expansions of (Z,+), preprint, 2020, arXiv:2007.00070.Google Scholar
Moosa, R. and Scanlon, T., F-structures and integral points on semiabelian varieties over finite fields . American Journal of Mathematics , vol. 126 (2004), no. 3, pp. 473522.CrossRefGoogle Scholar
Yu, S., Regular languages , Handbook of Formal Languages: Volume 1 Word, Language, Grammar (G. Rozenberg and A. Salomaa, editors), Springer, Berlin and Heidelberg, 1997, pp. 41110.CrossRefGoogle Scholar