A universal function for continuous functions Bukovský, L.; Butkovičová, E. — 1984 Proceedings of the 11th Winter School on Abstract Analysis
Unbouded descending infinite chain in Rudin-Frolík order Bukovský, L.; Butkovičová, E. — 1981 Abstracta. 9th Winter School on Abstract Analysis