Ellentuck, Erik; Manaster, Alfred B. The decidability of a class of AE sentences in the isols. (English) Zbl 0242.02051 Pac. J. Math. (to appear). MSC: 03B25 03D50 PDFBibTeX XML
Ellentuck, Erik; Manaster, Alfred B. The decidability of a class of AE sentence in the isols. (English) Zbl 0248.02054 Pac. J. Math. 43, 573-584 (1972). MSC: 03B25 03D50 PDFBibTeX XMLCite \textit{E. Ellentuck} and \textit{A. B. Manaster}, Pac. J. Math. 43, 573--584 (1972; Zbl 0248.02054) Full Text: DOI