On constructive models of theories with linear Rudin-Keisler ordering | UPT Perpustakaan UHAMKA