Soprunov, S. F. Lattices of nonstandard arithmetics. (English) Zbl 0578.03034 Sel. Math. Sov. 4, 203-223 (1985). Translation from Investigations on nonclassical logics and set theory, Work Collect., Moscow 1979, 146-173 (Russian) (1979; Zbl 0468.03045). MSC: 03H15 Nonstandard models of arithmetic Keywords:signatures Citations:Zbl 0413.00004; Zbl 0468.03045 PDFBibTeX XMLCite \textit{S. F. Soprunov}, Sel. Math. Sov. 4, 203--223 (1985; Zbl 0578.03034)