Uniform Preorders and Partial Combinatory Algebras Analysis

Uniform preorders and triposes are closely related, with relationally complete uniform preorders corresponding to triposes with enough ∃-primes.