1. [1] Caicedo, X., "The abstract compactness theorem revisited", pp. 131--41 in Logic and Foundations of Mathematics (Florence, 1995), edited by A. Cantini, E. Casari, and P. Minari, vol. 280 of Synthese Library, Kluwer Academic Publishers, Dordrecht, 1999.
2. [2] Čudnovskiĭ, G. V., and D. V. Čudnovskiĭ, "Regular and descending incomplete ultrafilters", Doklady Akademii Nauk SSSR, vol. 198 (1971), pp. 779--82. English translation in Soviet Mathematics. Doklady, vol. 12 (1971), pp. 901--905.
3. [3] Deiser, O., and D. Donder, "Canonical functions, non-regular ultrafilters and Ulam's problem on $\omega\sb 1$", The Journal of Symbolic Logic, vol. 68 (2003), pp. 713--39.
4. [4] Donder, H.-D., "Regularity of ultrafilters and the core model", Israel Journal of Mathematics, vol. 63 (1988), pp. 289--322.
5. [5] Ebbinghaus, H.-D., "Extended logics: The general framework", pp. 25--76 in Model-theoretic Logics, edited by J. Barwise and S. Feferman, Perspectives in Mathematical Logic, Springer, Berlin, 1985.