Nies, André; Tent, Katrin Describing finite groups by short first-order sentences. (English) Zbl 1403.03059 Isr. J. Math. 221, No. 1, 85-115 (2017). Reviewer: Yuri Movsisyan (Yerevan) MSC: 03C98 03C60 20D05 20B20 PDFBibTeX XMLCite \textit{A. Nies} and \textit{K. Tent}, Isr. J. Math. 221, No. 1, 85--115 (2017; Zbl 1403.03059) Full Text: DOI arXiv
D’Aquino, Paola; Macintyre, Angus Non-standard finite fields over \(I\Delta_0+\Omega_1\). (English) Zbl 0993.03076 Isr. J. Math. 117, 311-333 (2000). MSC: 03F30 11U09 11T99 03H15 PDFBibTeX XMLCite \textit{P. D'Aquino} and \textit{A. Macintyre}, Isr. J. Math. 117, 311--333 (2000; Zbl 0993.03076) Full Text: DOI