Journal of Symbolic Logic 87 (1):127-158 (2022)

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 $$, and a proof that the expansion of $$ by any F-sparse set is NIP. These methods are also used to show for prime $p\ge 7$ that the expansion of $$ by multiplication restricted to $t^{\mathbb {N}}$ is NIP.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2021.38
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,163
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Weakly Minimal Groups with a New Predicate.Gabriel Conant & Michael C. Laskowski - 2020 - Journal of Mathematical Logic 20 (2):2050011.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Automatic Structures of Bounded Degree Revisited.Dietrich Kuske & Markus Lohrey - 2011 - Journal of Symbolic Logic 76 (4):1352-1380.
Automatic Continuity of Group Homomorphisms.Christian Rosendal - 2009 - Bulletin of Symbolic Logic 15 (2):184-214.
Automatic Models of First Order Theories.Pavel Semukhin & Frank Stephan - 2013 - Annals of Pure and Applied Logic 164 (9):837-854.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Is Alignment Always the Result of Automatic Priming?Robert M. Krauss & Jennifer S. Pardo - 2004 - Behavioral and Brain Sciences 27 (2):203-204.
Ethical Automaticity.Michael Brownstein & Alex Madva - 2012 - Philosophy of the Social Sciences 42 (1):68-98.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
Myhill's Work in Recursion Theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
Myhill's Work in Recursion Theory.J. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
"[Product]"¹1-Complete Families of Elementary Sequences.Patrick Dehornoy - 1988 - Annals of Pure and Applied Logic 38 (3):257.
Classless.Sam Roberts - 2020 - Analysis 80 (1):76-83.


Added to PP index

Total views
1 ( #1,545,954 of 2,506,999 )

Recent downloads (6 months)
1 ( #417,155 of 2,506,999 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes