Implicative algebras II: completeness w.r.t. Set-based triposes

Abstract

We prove that all Set-based triposes are implicative triposes.