Schmerl, James H. An axiomatization for a class of two-cardinal models. (English) Zbl 0374.02029 J. Symb. Log. 42, 174-178 (1977). MSC: 03C68 03B99 PDFBibTeX XMLCite \textit{J. H. Schmerl}, J. Symb. Log. 42, 174--178 (1977; Zbl 0374.02029) Full Text: DOI
Barwise, Jon Some applications of Henkin quantifiers. (English) Zbl 0347.02007 Isr. J. Math. 25, 47-63 (1976). MSC: 03C80 03C75 03C60 03C68 03B99 PDFBibTeX XMLCite \textit{J. Barwise}, Isr. J. Math. 25, 47--63 (1976; Zbl 0347.02007) Full Text: DOI
Kreisel, Georg A survey of proof theory. (English) Zbl 0177.01002 J. Symb. Log. 33, 321-388 (1968). PDFBibTeX XMLCite \textit{G. Kreisel}, J. Symb. Log. 33, 321--388 (1968; Zbl 0177.01002) Full Text: DOI
Keisler, H. J. First order properties of pairs of cardinals. (English) Zbl 0143.26001 Bull. Am. Math. Soc. 72, 141-144 (1966). PDFBibTeX XMLCite \textit{H. J. Keisler}, Bull. Am. Math. Soc. 72, 141--144 (1966; Zbl 0143.26001) Full Text: DOI