On decidability of skeletal sets [Abstract of thesis] Nguyen Xuang Dung — 1990 Commentationes Mathematicae Universitatis Carolinae