paper

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

arXiv:2011.09085

Abstract

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

14 pages

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