References
- Cutolo, G., Nicotera, Ch. (2003). Subgroups defining automorphisms in locally nilpotent groups. Forum Math. 15(4):489–506.
- Enayat, A. (2004). Leibnizian models of set theory. J. Symbolic Logic 69(3):775–789. DOI: 10.2178/jsl/1096901766.
- Jerabek, E. (2019). Rigid models of Presburger arithmetic. Math. Logic Q. 65(1):108–115.
- Kharlampovich, O., Myasnikov, A. (1998). Tarski’s problem about elementary theory of free groups has a positive solution. Electron. Res. Announcements Amer. Math. Soc. 4:101–108. DOI: 10.1090/S1079-6762-98-00047-X.
- Shahryari, M. (2015). On logically cyclic groups. J. Group Theory 18(2):263–272. DOI: 10.1515/jgth-2014-0047.
- The GAP Group. (2022). GAP – Groups, Algorithms, and Programming, Version 4.12.2. https://www.gap-system.org.